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