search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

switch to C++20 (contd.) #733

Closed Tomaqa closed 4 months ago

Tomaqa commented 4 months ago

Some places were missed with the switch to C++20 ..