AlphaPeu commune
Boolector/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Archivé : ce dépôt n’évolue plus
- Propriétaire
- Boolector (organisation)
- Étoiles
- Étoiles : 359
- Forks
- Forks : 70
- Langage
- SMT
- Licence
- Aucune
- Création
- 2018
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts SMT
Tous les dépôts SMT- cvc5/cvc5Étoiles : 1 385SMTBêta
- SRI-CSL/yices2Étoiles : 487SMTAlpha
- bitwuzla/bitwuzlaÉtoiles : 407SMTAlpha
- renaissance-benchmarks/renaissanceÉtoiles : 345SMTAlpha
- sosy-lab/java-smtÉtoiles : 245SMTPrototype
- dreal/dreal4Étoiles : 194SMTPrototype