search

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals
https://dreal.github.io
Apache License 2.0
151 stars 32 forks source link

Update deps; Add macos-12 support; Update Dockerfiles #273

Closed soonhokong closed 2 years ago