Yirmiuc / boolector

SMT solver for bit-vectors and arrays

•     Michael Tautschnig
•     mt@debian.org
•     http://fmv.jku.at/boolector/
•     1.5.118.6b56be4.121013-1.3
•     boolector_1.5.118.6b56be4.121013-1.3_amd64.deb
•     301.8 KiB
•     science
•     amd64
•      boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
            boolector_1.5.118.6b56be4.121013-1.3.dsc
            boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz
            boolector_1.5.118.6b56be4.121013.orig.tar.gz
•     Debian Versiyonu: 1.5.118.6b56be4.121013-1.3
•     SMT solver for bit-vectors and arrays

Diğer Pardus sürümlerindeki versiyonlar