AlphaUncommon
Boolector/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Archived: this repository is read-only
- Owner
- Boolector (organization)
- Stars
- Stars: 359
- Forks
- Forks: 70
- Language
- SMT
- License
- None
- Created
- 2018
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in SMT
All SMT repos- cvc5/cvc5Stars: 1,385SMTBeta
- SRI-CSL/yices2Stars: 487SMTAlpha
- bitwuzla/bitwuzlaStars: 407SMTAlpha
- renaissance-benchmarks/renaissanceStars: 345SMTAlpha
- sosy-lab/java-smtStars: 245SMTPrototype
- dreal/dreal4Stars: 194SMTPrototype