search

dreal / homebrew-dreal

homebrew tap for dReal
0 stars 0 forks source link

Release 4.19.10.1 #8

Closed soonho-tri closed 5 years ago

soonho-tri commented 5 years ago

The code is ready, but we will wait until MacOS-10.15 is out.

soonho-tri commented 5 years ago

4.19.10.2 is just released.