search

dreal / dreal4

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

bazel(WORKSPACE): Update ezoptionparser #291

Closed soonhokong closed 1 year ago

soonhokong commented 1 year ago

See https://github.com/dreal-deps/ezoptionparser/commit/5bb9214fc26bf14cea071411216e23799cabd0da .

This change is Reviewable