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.2 #28

Closed RyanGlScott closed 2 years ago

RyanGlScott commented 2 years ago

This upgrades the CVC5 version from 1.0.1 to 1.0.2.