linux
manpag.es
Search
A–Z
Sections
Topics
Packages
Minisat+
minisat+(1)
A Solver for Pseudo-Boolean Constraints