Yirmibes / minisat

Fast and lightweight SAT solver

•     Michael Tautschnig
•     mt@debian.org
•     http://minisat.se/
•     1:2.2.1-8
•     minisat_2.2.1-8_amd64.deb
•     81.2 KiB
•     science
•     amd64
•      minisat2_2.2.1-8.debian.tar.xz
            minisat2_2.2.1-8.dsc
            minisat2_2.2.1.orig.tar.gz
•     Debian Versiyonu: 1:2.2.1-8
•     Fast and lightweight SAT solver

Diğer Pardus sürümlerindeki versiyonlar