projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c62cd21) | patch
turn off cudd by default in configure script
authorMorgan Deters <mdeters@gmail.com>
Sat, 6 Oct 2012 20:13:17 +0000 (20:13 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 6 Oct 2012 20:13:17 +0000 (20:13 +0000)
commit292f98a5649d6f282e1e2d4c53fb76127196488a
treee2731b25acb5f1e71f1387a923f437fcc8173955tree
parentc62cd21b1d10230a3d8d9ed52a6147fe7f0ed078commit | diff
turn off cudd by default in configure script
config/cudd.m4 diff | blob | history