dreal / dreal4

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

Fix fmt-related build errors when in --std=c++20 mode #283

Closed jwnimmer-tri closed 2 years ago

jwnimmer-tri commented 2 years ago

When fmt >= 8 is compiled in c++ >= 20 mode, it does constexpr-based pattern validation, leading to compile-time errors for invalid format strings.


This change is Reviewable