Yirmibes / minisat+

solver for pseudo-Boolean constraints

•     Debian Science Maintainers
•     debian-science-maintainers@lists.alioth.debian.org
•     http://minisat.se/MiniSat+.html
•     1.0-5
•     minisat+_1.0-5_amd64.deb
•     145.8 KiB
•     science
•     amd64
•      minisat+_1.0-5.debian.tar.xz
            minisat+_1.0-5.dsc
            minisat+_1.0.orig.tar.gz
•     Debian Versiyonu: 1.0-5
•     solver for pseudo-Boolean constraints

Diğer Pardus sürümlerindeki versiyonlar