search

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
http://boolector.github.io
Other
324 stars 63 forks source link

The test 'bv' doesn't finish in 8 mins #227

Open yurivict opened 4 weeks ago

yurivict commented 4 weeks ago

Version: 3.2.3 Clang-18 FreeBSD 14.0