Bindeps - Githubissues

dreal / DReal.jl

Nonlinear Constraint Solving and Optimization

https://dreal.github.io/

Other

7 stars 4 forks source link

Closed zenna closed 9 years ago

zenna commented 9 years ago

Add bindeps to do automatic installation of binaries.

zenna commented 9 years ago

Done in 3559b70021198f9686efb806644e7371874fdd88