fix(tools): Update dreal.bzl to be compatible with bazel-6 on macos - Githubissues

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals

https://dreal.github.io

Apache License 2.0

150 stars 31 forks source link

fix(tools): Update dreal.bzl to be compatible with bazel-6 on macos #293

Closed soonhokong closed 1 year ago

soonhokong commented 1 year ago

This change is