search

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4
5 stars 1 forks source link

Work around cvc5/cvc5#9778 #38

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

Fixes #36.