search

dreal / dreal2

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

matan support #20

Closed soonhokong closed 10 years ago

soonhokong commented 10 years ago

SMT2 with matan generates the following error:

# Error: undeclared function symbol  matan Real
(triggered at /Users/soonhok/work/dreal/src/opensmt/egraph/EgraphStore.C, 626)