projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54ed528) | patch
Add Cryptominisat script and patches to source file distribution.
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 29 Nov 2017 04:11:36 +0000 (20:11 -0800)
committerMathias Preiner <mathias.preiner@gmail.com>
Wed, 29 Nov 2017 04:11:36 +0000 (20:11 -0800)
commit41917106e89bd35e99ac313f0a5ca13f72f86d93
treee2dd319a0d9390a8822f8fb3cc5477e27c52750etree
parent54ed528aa098625634856f53f0ceb6f69afdafbdcommit | diff
Add Cryptominisat script and patches to source file distribution.

This enables building CVC4 from a source release with Cryptominisat support.
contrib/Makefile.am diff | blob | history