schillic / dreal

dReal: An SMT Solver for Nonlinear Theories of the Reals

http://dreal.cs.cmu.edu

Geek Repo

Github PK Tool