Ondokuz / minisat+

solver for pseudo-Boolean constraints

•     Debian Science Maintainers
•     [email protected]
•     http://minisat.se/MiniSat+.html
•     1.0-4
•     minisat+_1.0-4_amd64.deb
•     154.7 KiB
•     science
•     amd64
•      minisat+_1.0-4.debian.tar.xz
            minisat+_1.0-4.dsc
            minisat+_1.0.orig.tar.gz
•     Debian Versiyonu: 1.0-4
•     solver for pseudo-Boolean constraints

Diğer Pardus sürümlerindeki versiyonlar