dreal / dreal4

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

Fixes to support clang-15 #292

Closed soonhokong closed 1 year ago

soonhokong commented 1 year ago

@yazhai , I've checked that it works with the existing set of the supported compilers in Github Action (<= clang-14). Can you check if it works with clang-15 locally?


This change is Reviewable