PrototypeCommune
dreal/dreal4
Automated Reasoning in Nonlinear Theories of Reals
- Propriétaire
- dreal (organisation)
- Étoiles
- Étoiles : 194
- Forks
- Forks : 37
- Langage
- SMT
- Licence
- Apache-2.0
- Création
- 2017
- Sujets
- smt-solver
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts SMT
Tous les dépôts SMT- Boolector/boolectorÉtoiles : 359SMTAlpha
- renaissance-benchmarks/renaissanceÉtoiles : 345SMTAlpha
- sosy-lab/java-smtÉtoiles : 245SMTPrototype
- ARMmbed/mbed-HDK-Eagle-ProjectsÉtoiles : 193SMTPrototype
- ARMmbed/mbed-HDKÉtoiles : 192SMTPrototype
- ONEARMY/precious-plastic-kitÉtoiles : 183SMTPrototype