All Git Users → dreal

2 open source projects by dreal

[ Open user page on Github ]

SMT Solver for Nonlinear Theories of Reals

✭ 72

There is a new version of dReal, available at https://github.com/dreal/dreal4

✭ 46

SMT C++c ocaml HTML CMake

1-2 of 2 user projects