dReal

icon indicating a website link http://dreal.github.io icon indicating an email [email protected]

icon location dReal and all that

Results 2 repositories owned by dReal

dreal4

145
Stars
30
Forks
Watchers

Automated Reasoning in Nonlinear Theories of Reals

verified publisher icon dreal

dreal3

48
Stars
36
Forks
Watchers

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

verified publisher icon dreal