Backport fix for cvc5/cvc5#9567

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4

5 stars 1 forks source link

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

This issue causes CVC5 to segfault on Windows when given certain queries involving algebraic reals. This backports the fix from cvc5/cvc5#9580.