Experiments with CEC for arithmetic circuits.

4771b598 · Alan Mishchenko · 236d4122 · 4771b598
Commit 4771b598 authored May 07, 2016 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/proof/acec/module.make
+1 -1

No files found.
--- a/src/proof/acec/module.make
+++ b/src/proof/acec/module.make
-SRC +=    src/proof/acec/acecCore. \
+SRC +=    src/proof/acec/acecCore.c \
    src/proof/acec/acecFadds.c \
    src/proof/acec/acecOrder.c \
    src/proof/acec/acecPolyn.c \