This repository has been archived by the owner on May 11, 2021. It is now read-only.
Releases: dreal/dreal2
Releases · dreal/dreal2
dReal-2.15.11
v2.15.11 chore(CMakeLists.txt): bump to version 2.15.11
dReal-2.15.01
fix(bin/dReach): -k <N> sets the upperbound of unrolling. -u has the …
dReal-2.14.12
fix(opensmt/egraph/Enode.C): use 16-digit precision when printing Enode
dReal-2.14.08
reverted rp_interval_pow to realpaver implementation because of bug i…
dReal-2.14.06
2014 June Release
dReal-2.14.5
2014 May Release