dReal-3.16.04

v3.16.04

chore(CMakeLists.txt): version 3.16.04

dReal-3.16.03-TOYOTA

This is a special experimental release. Please do not use this if you do not know what it is.

dReal-3.16.02

v3.16.02

chore(CMakeLists.txt): bump to 3.16.02

dReal-3.16.1.01

v3.16.1.01

chore(CMakeLists.txt): bump version to 3.16.1.01

dReal-3.16.1

test(c_api): add reset_01.c

related issue https://github.com/dreal/dreal3/issues/208

dReal-3.15.12

test(c_api): add reset_01.c

related issue https://github.com/dreal/dreal3/issues/208

dReal-3.15.11.03

• new CAPD4
• relax mode-invariant checking

dReal-3.15.11.01

v3.15.11.01

fix(CMakeLists.txt): roll back changes on nlopt

dReal-3.15.10.06

v3.15.10.06

chore(CMakeLists.txt): bump version to 3.15.10.06

dReal-3.15.10.05

v3.15.10.05

chore(CMakeLists.txt): bump version to 3.15.10.05