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

Upgrade CVC5 to 1.0.8, use `ftp.gnu.org` mirror for `gmp` download #45

Closed RyanGlScott closed 11 months ago

RyanGlScott commented 11 months ago

Fixes #43. Fixes #44.