Yirmiuc / minisat

Fast and lightweight SAT solver

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

Diğer Pardus sürümlerindeki versiyonlar