Debian logoDebian Screenshots >


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.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.



66 other people were interested in this package here. The newest known version of this software is (Information last updated about 10 hours ago.)