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

First cut at building ABC, CVC4, Yices, and Z3 #1

Closed atomb closed 3 years ago

atomb commented 3 years ago

Merging because CI won't run until I do.