Ondokuz / boolector

SMT solver for bit-vectors and arrays

•     Michael Tautschnig
•     [email protected]
•     http://fmv.jku.at/boolector/
•     1.5.118.6b56be4.121013-1+b1
•     boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb
•     296.8 KiB
•     science
•     amd64
•      boolector_1.5.118.6b56be4.121013-1.debian.tar.gz
            boolector_1.5.118.6b56be4.121013-1.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+b1
•     SMT solver for bit-vectors and arrays

Diğer Pardus sürümlerindeki versiyonlar