PrototypeCommon
sosy-lab/java-smt
JavaSMT - Unified Java API for SMT solvers.
- Owner
- sosy-lab (organization)
- Stars
- Stars: 245
- Forks
- Forks: 56
- Language
- SMT
- License
- Apache-2.0
- Created
- 2015
- Topics
- smtsolverjava
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by sosy-lab
All 5 repos by sosy-lab- sosy-lab/cpu-energy-meterStars: 348CAlpha
- sosy-lab/benchexecStars: 295PythonAlpha
- sosy-lab/cpacheckerStars: 269JavaAlpha
- sosy-lab/sv-benchmarksStars: 192Prototype
Nearby in SMT
All SMT repos- bitwuzla/bitwuzlaStars: 407SMTAlpha
- Boolector/boolectorStars: 359SMTAlpha
- renaissance-benchmarks/renaissanceStars: 345SMTAlpha
- dreal/dreal4Stars: 194SMTPrototype
- ARMmbed/mbed-HDK-Eagle-ProjectsStars: 193SMTPrototype
- ARMmbed/mbed-HDKStars: 192SMTPrototype