AlphaUncommon
SRI-CSL/yices2
SRI Yices SMT Solver
- Owner
- SRI-CSL (organization)
- Stars
- Stars: 487
- Forks
- Forks: 68
- Language
- SMT
- License
- GPL-3.0
- Created
- 2014
- Topics
- satisfiability-modulo-theoriessatisfiabilitytheorem-proversmt-solversat-solver
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by SRI-CSL
All 3 repos by SRI-CSL- SRI-CSL/gllvmStars: 341GoAlpha
- SRI-CSL/PVSStars: 188Common LispPrototype
Nearby in SMT
All SMT repos- adafruit/Adafruit_CAD_PartsStars: 1,533SMTBeta
- cvc5/cvc5Stars: 1,385SMTBeta
- bitwuzla/bitwuzlaStars: 407SMTAlpha
- Boolector/boolectorStars: 359SMTAlpha
- renaissance-benchmarks/renaissanceStars: 345SMTAlpha