add option to disable test programs - 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

add option to disable test programs #202

Closed soonhokong closed 9 years ago