projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e36f03f) | patch
SMT-COMP version gets built --with-abc.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Jun 2014 22:08:34 +0000 (18:08 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 5 Jun 2014 23:09:50 +0000 (19:09 -0400)
commit0dce010bea47bc6a318eece2bd92ed2305b64c21
treea743785fed2834e3299527443ff0e21fe39ce0catree
parente36f03f582423f5e9f17da86d79a58deebf6fce3commit | diff
SMT-COMP version gets built --with-abc.
Makefile diff | blob | history