Package: wnpp Severity: wishlist Owner: Michael Tautschnig <[email protected]>
* Package name : boolector * URL : http://fmv.jku.at/boolector/ * License : GPLv3 Description : SMT solver for bit-vectors and arrays Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays. I'm just about to prepare the package, so expect an upload shortly. Best, Michael
pgpu2H6n4TPjY.pgp
Description: PGP signature
