Gentoo Portage Overlays - sci-mathematics/minisat

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/minisat

Small yet efficient SAT solver with reference paper

Screenshots

http://minisat.se/Main.html

minisat-2.2.0_p20130925-r1

~amd64 ~x86 ~amd64-linux ~x86-linux

debug doc

View

Download

Browse License: MIT

Overlay: gentoo (distro)

minisat-2.2.0-r4

~amd64 ~x86 ~amd64-linux ~x86-linux

debug doc extended-solver

View

Download

Browse License: MIT

Overlay: gentoo (distro)

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs