summaryrefslogtreecommitdiff
path: root/INSTALL
AgeCommit message (Expand)Author
2014-06-21Some minor cleanup and documentation.Morgan Deters
2014-06-19update to abc install instructionslianah
2014-06-19Documentation clean-ups.Morgan Deters
2014-06-19Versioning preparation.Morgan Deters
2014-05-19More documentation fixes. Apologies for multiple commits.Tim King
2014-05-19Fixing documentation for glpk configuration.Tim King
2014-05-05Improving documentation for glpk-cut-log switch.Tim King
2013-12-17some config changes: new --bsd option, readline gives warning, default build ...Morgan Deters
2013-11-27Some versioning in advance of the 1.3 release.Morgan Deters
2013-05-08Cutting release 1.2.1.2Morgan Deters
2013-04-26FCSimplex branch mergeTim King
2013-04-03Some final minor changes before cutting 1.1.Morgan Deters
2013-03-19Remove PropositionalQuery class and all CUDD-related build stuff (and referen...Morgan Deters
2012-10-24Includes many fixes to build system for Solaris (thanks Tim!), and alsoMorgan Deters
2012-10-19--fallback-sequential / --no-fallback-sequential optionKshitij Bansal
2012-10-09some documentation fixesMorgan Deters
2012-10-06* Clean up some options documentationMorgan Deters
2012-10-06* Some documentation about building compatibility and language bindingsMorgan Deters
2012-10-03new README and INSTALL filesMorgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2009-11-03commit of project structure including autotools supportMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback