summaryrefslogtreecommitdiff
path: root/contrib/Makefile.am
AgeCommit message (Expand)Author
2018-05-14Add contrib/get-symfpu for downloading symfpu. (#1905)Mathias Preiner
2018-03-13Use Cryptominisat version 5.0.2 (instead of 4.2.0). (#1664)Mathias Preiner
2017-11-28Add Cryptominisat script and patches to source file distribution.Mathias Preiner
2017-11-01 Add option to build shared Windows dependencies (#1282)Andres Noetzli
2017-03-08Fix MinGW-w64 buildAndres Notzli
2014-07-01Fix path in CASC J7 scripts, and distribute them with tarball.Morgan Deters
2013-11-13Another build fix; the dust should be settled now.Morgan Deters
2013-04-23Theory "alternates" supportMorgan Deters
2013-03-19Remove PropositionalQuery class and all CUDD-related build stuff (and referen...Morgan Deters
2013-01-24Add win32 support (merge from mdeters/win32, with some cleanup).Morgan Deters
2012-10-03updates to contrib scripts to match docsMorgan Deters
2012-10-03better documentation, allow examples to be installed, etcMorgan Deters
2012-09-26Fix a handful of things for Mac, and Java bindings.Morgan Deters
2012-06-18final sources (?) for competitionMorgan Deters
2012-06-13Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow ...Morgan Deters
2012-02-12separate new-theory components into a "theoryskel" directory so that new file...Morgan Deters
2012-02-10script to ease creating a new theory from scratch (will go along with new ref...Morgan Deters
2011-05-05luby sequence generator; can use to plot MiniSat's restart sequenceMorgan Deters
2010-10-27"make dist" fixes; a distribution tarball can now build and pass tests. "make...Morgan Deters
2009-11-09minor fixes, added contrib directoryMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback