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

CVC4: Enable symfpu #24

Closed RyanGlScott closed 2 years ago

RyanGlScott commented 2 years ago

Fixes #23.

RyanGlScott commented 2 years ago

I've confirmed that the resulting binary artifacts pass the template_tests test suite on what4 (see GaloisInc/what4#206).