minisat

A minimalistic and high-performance SAT solver

Details

Homepage:

http://minisat.se/MiniSat.html

License:

MIT

Maintainer:

Tai Chi Minh Ralph Eastwood

Built at:

2022-10-25 22:00

Source files:

http://minisat.se/downloads/minisat-2.2.0.tar.gz

Installed size:

118.87 KiB - 119.80 KiB

Popularity:

No usages in 102 reports

Depending on:

• glibc>=2.29_{_1}
• libgcc>=4.4.0_{_1}
• libstdc++>=4.4.0_{_1}
• zlib>=1.2.3_{_1}