summaryrefslogtreecommitdiff
path: root/contrib/get-abc
AgeCommit message (Expand)Author
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2020-11-02contrib: Remove dependency directories. (#5367)Aina Niemetz
2020-09-04Change the unavailable ABC mercury repository for the ABC solver code base on...Malte Mues
2019-12-06contrib: Setup all dependencies in deps/ directory. (#3534)Mathias Preiner
2019-08-26Make contrib/get-* more robust. (#3198)Mathias Preiner
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-02-08Check whether Cryptominisat4/ABC was installed via get-* script. (#1565)Mathias Preiner
2018-02-06Use separate shell script for common get-* script parts. (#1567)Mathias Preiner
2017-05-27[Competition] Fix ABC, fix CryptoMiniSat reqAndres Noetzli
2014-06-25Don't allow libabc to load extensions at runtime.Morgan Deters
2014-06-19Minor fixes to get-abc script and configure stuff.Morgan Deters
2014-06-11Some clean-up, post bv-merge.Morgan Deters
2014-06-04Update commit # for get-abc script, anticipating Liana's merge.Morgan Deters
2014-03-12Draft contrib/get-abc script for bitvectors libabc support.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback