Package Details

Information about "minisat"

label

Name

minisat

description

Description

Fast and lightweight SAT solver

update

Version

1:2.2.1-8

category

Section

science

home

Homepage

http://minisat.se/

person

Maintainer

Michael Tautschnig <[email protected]>

link

Depends

libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4)

thumb_up

Recommends

None

lightbulb

Suggests

None

block

Conflicts

None

swap_horiz

Replaces

None

check_box

Provides

minisat2

description

Filename

pool/main/m/minisat2/minisat_2.2.1-8_amd64.deb

Depends Recommends Suggests Conflicts Replaces Provides
Depends
libc6
libgcc-s1
libstdc++6
zlib1g