issues
search
dreal
/
dreal4
Automated Reasoning in Nonlinear Theories of Reals
https://dreal.github.io
Apache License 2.0
151
stars
32
forks
source link
travis: Update macOS
#233
Closed
soonho-tri
closed
3 years ago
soonho-tri
commented
3 years ago
unshallow homebrew-{core,cask}
remove python2-numpy hack
increase cache timeout; run brew cleanup before_cache
drop macOS-10.13; Use macOS-10.15 for asan build