Ondokuz / boolector

SMT solver for bit-vectors and arrays

•     Michael Tautschnig
•     mt@debian.org
•     http://fmv.jku.at/boolector/
•     boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb
•     1.5.118.6b56be4.121013-1+b1
•     296.8 KiB
•     science
•     amd64
•     SMT solver for bit-vectors and arrays

Versions in other Pardus versions