Closed aytey closed 5 years ago
Updated Windows patches for the most recent version of CaDiCaL. Ran both the CaDiCaL and Boolector (up until the incremental ones failed) tests successfully on Windows 32.
Signed-off-by: Andrew V. Jones andrew.joes@vector.com
Updated Windows patches for the most recent version of CaDiCaL. Ran both the CaDiCaL and Boolector (up until the incremental ones failed) tests successfully on Windows 32.
Signed-off-by: Andrew V. Jones andrew.joes@vector.com