3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
boolector-java 3.2.6-1 0 0.00 Java bindings for the Boolector SMT solver abdullin.am 2022-04-29 08:44 (UTC)
boolector-git 3.2.2.r18.g1a89c229-1 0 0.00 A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions xiretza 2022-05-03 13:12 (UTC)
boolector 3.2.2-2 2 0.00 Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays. Ice_Phoenix 2021-11-15 13:52 (UTC)

3 packages found. Page 1 of 1.