Source Package minisat2

Builds
Updates
Bugs
Sources
Crash Reports
Koschei

Subpackages

minisat2 - Minimalistic SAT solver
minisat2-devel - Development files for minisat2
minisat2-libs - Minimalistic SAT solver library

Sources on Pagure