boolector - 1.5.118.6b56be4.121013-1.3 main

Boolector is an efficient SMT solver for the quantifier-free theory of
bit-vectors in combination with the quantifier-free extensional theory of
arrays.

Priority: optional
Section: science
Suites: amber byzantium crimson dawn landing 
Maintainer: Michael Tautschnig <mt [꩜] debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 804.9 kB
Architectures: amd64  arm64 

 

Versions

1.5.118.6b56be4.121013-1.3 amd64 1.5.118.6b56be4.121013-1.3 arm64