To do in API - Githubissues

dreal / dreal3

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

GNU General Public License v3.0

48 stars 36 forks source link

To do in API #331

Open scungao opened 7 years ago

scungao commented 7 years ago

[ ] Single variable substitution
[ ] Print in infix form by default
[ ] Pretty-print all current constraints in the solver
[x] True and false