dreal / DReal.jl

Nonlinear Constraint Solving and Optimization
https://dreal.github.io/
Other
7 stars 4 forks source link

Add Compat explicitly to REQUIRE, don't use Pkg.dir #24

Closed tkelman closed 8 years ago

tkelman commented 8 years ago

instead of assuming Compat will be present as an indirect dependency, and that the package can only be installed inside the package directory