Commit - rpms/cvc4 - 7e5614b256eb873f95235627547fe40eb36c9dd5

    New upstream release.
    
    Also:
    - Drop upstreamed patches: -signed, -boolean, -minisat.
    - Add -constant patch to fix undefined symbols in the JNI shared object.
    - Add cryptominisat4 support.

.gitignore

file modified

+1 -0

cvc4-boolean.patch

file removed

-22

cvc4-constant.patch

file added

+25

cvc4-doxygen.patch

file modified

+53 -257

cvc4-libs.patch ~~cvc4-abc.patch~~

file renamed

+21 -4

cvc4-minisat.patch

file removed

-30

cvc4-signed.patch

file removed

-50

cvc4.spec

file modified

+36 -22

sources

file modified

+1 -1

rpms / cvc4

Source Code

7e5614b New upstream release.

Authored and Committed by jjames 6 years ago

`7e5614b` New upstream release.