7e5614b256
Also: - Drop upstreamed patches: -signed, -boolean, -minisat. - Add -constant patch to fix undefined symbols in the JNI shared object. - Add cryptominisat4 support.
2 lines
156 B
Plaintext
2 lines
156 B
Plaintext
SHA512 (cvc4-1.5.tar.gz) = 654a8e4eee499bce34cc82e002bbcc1ed8e124425a341435750d2dc65097e5e4f6bcf3376663800d644bef0bcdf94b98b862eb5e9f8d63823f416c7775ba17dc
|