Dreal3
There is a new version of dReal, available at https://github.com/dreal/dreal4
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Alive2 | 634 | 3 months ago | 56 | mit | C++ | |||||
| Automatic verification of LLVM optimizations | ||||||||||
| Dreal4 | 142 |  | 1 | 4 months ago | 24 | June 19, 2021 | 37 | apache-2.0 | SMT | |
| Automated Reasoning in Nonlinear Theories of Reals | ||||||||||
| Dreal3 | 46 | 3 years ago | 78 | other | SMT | |||||
| There is a new version of dReal, available at https://github.com/dreal/dreal4 | ||||||||||
| Smt Kit | 34 | 7 years ago | 1 | other | C++ | |||||
| C++11 library for many-sorted logics | ||||||||||
| Dreal2 | 12 | 8 years ago | 31 | other | SMT | |||||
| Please check dreal3 instead. | ||||||||||
Alternatives To Dreal3Select To Compare
Alternative Project Comparisons
Popular Clang Projects
Popular Smt Projects
Popular Compilers Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
Clang
Smt