Source Package: minisat2 (1:2.2.1-3)
Links for minisat2
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
It should generally not be necessary for users to contact the original maintainer.
The following binary packages are built from this source package:
- Fast and lightweight SAT solver
- Transitional package for minisat
Other Packages Related to minisat2