search

dreal / dreal2

Please check dreal4 instead.
https://github.com/dreal/dreal4
GNU General Public License v3.0
13 stars 15 forks source link

proof checker is not working #9

Closed soonhokong closed 10 years ago

soonhokong commented 10 years ago

yes, it's time to fix it!

soonhokong commented 10 years ago

fixed.

@rachelwang, please drop by GHC9232 when you have some time. I'll explain how to use them.