Bug#584542: ITP: boolector -- SMT solver for bit-vectors and arrays

[Michael Tautschnig]

Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig <m...@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

pgpsGtDJzhMyz.pgp
Description: PGP signature