Get Yices using MCSat on Windows

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4

5 stars 1 forks source link

Get Yices using MCSat on Windows #5

Closed atomb closed 3 years ago

atomb commented 3 years ago

Currently, the Windows build of Yices has trouble with libpoly and cudd, so it builds Yices without the --mcsat flag so as not to depend on them. It should be possible to get the libraries to build, however.