search

dreal / dreal4

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

fix(workspace.bzl): Add '/usr/lib/pkgconfig' for ibex's pkg_config_path #271

Closed soonhokong closed 2 years ago

soonhokong commented 2 years ago

To support Amazon Linux 2