dReal-3.15.08

• patch trigonometric function problems in IBEX

dReal-3.15.07.02

v3.15.07.02

test(ibex): fix up style in example_04.cpp

dReal-3.15.07.01

test(nra): add exist_forall_zenna_{02,03}.smt2

related issue: #139

dReal-3.15.06.02

v3.15.06.02

chore(CMakeLists.txt): bump version to 3.15.06.02

dReal-3.15.06

v3.15.06

test(nra): add tests for --ncbt

dReal-3.15.05.02

• replace gflags with ezoptionparser
• replace glog with easylogging++

dReal-3.15.05.01

v3.15.05.01

chore(CMakeLists.txt): bump version to 3.15.05.01

dReal-3.15.05

• Add --theory_propagation option
• Add --multiple_soln <N> option

dReal-3.15.04.2

v3.15.04.2

chore(CMakeLists.txt): bump to version 3.15.04.2

dReal-3.15.04

v3.15.04

fix(src/CMakeLists.txt): put libdreal in the front