Package: wnpp Severity: wishlist Owner: Michael Tautschnig <mt@debian.org> * 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
Attachment:
pgp78CqLyNnM_.pgp
Description: PGP signature