Add `cvc5` 1.0.0 - Githubissues

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 2 years ago

RyanGlScott commented 2 years ago

Luckily, building cvc5 is nearly identical to building cvc4.