4 Commits

Author	SHA1	Message	Date
Jerry James	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
Jerry James	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
Jerry James	b98f57bca0	Initial import.	2014-02-03 07:53:17 -07:00
Fedora Release Engineering	a626dad0b0	Initial setup of the repo	2014-02-03 12:48:10 +00:00