PrototypeCommon
dreal/dreal4
Automated Reasoning in Nonlinear Theories of Reals
- Owner
- dreal (organization)
- Stars
- Stars: 194
- Forks
- Forks: 37
- Language
- SMT
- License
- Apache-2.0
- Created
- 2017
- Topics
- smt-solver
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in SMT
All SMT repos- Boolector/boolectorStars: 359SMTAlpha
- renaissance-benchmarks/renaissanceStars: 345SMTAlpha
- sosy-lab/java-smtStars: 245SMTPrototype
- ARMmbed/mbed-HDK-Eagle-ProjectsStars: 193SMTPrototype
- ARMmbed/mbed-HDKStars: 192SMTPrototype
- ONEARMY/precious-plastic-kitStars: 183SMTPrototype