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.1 #27

Closed RyanGlScott closed 2 years ago

RyanGlScott commented 2 years ago

This upgrades the CVC5 version from 1.0.0 to 1.0.1.