398dc0c060
Version 1.8. Drop upstreamed patches: -abc, -swig4, -drat.
2020-08-03 18:34:38 -06:00
ded5ca8205
New upstream release.
...
Also:
- Drop -autoconf, -cadical, -doxygen, -symfpu, and -vec patches.
- Drop -doc subpackage; upstream no longer supports doxygen.
- Build with python 3 instead of python 2.
- Build with drat2er support.
- Add -abc and -flags patches.
- Add -swig4 patch (bz 1707353).
2019-06-13 06:32:44 -06:00
a2a8a7c534
New upstream release.
2018-07-10 21:22:52 -06:00
7e5614b256
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.
2017-07-15 20:54:40 -06:00
f624faa170
New upstream release.
...
Also:
- Drop updated test files, now included upstream
- Drop obsolete workarounds for glpk compatibility
- Drop lfsc BR/R, as it has been incorporated into cvc4
2015-01-02 16:57:48 -07:00
b98f57bca0
Initial import.
2014-02-03 07:53:17 -07:00
a626dad0b0
Initial setup of the repo
2014-02-03 12:48:10 +00:00
Jerry James
Jerry James
Fedora Release Engineering