Integrating with sat_solver ...

[satune.git] / src / Test / buildconstraints.c

diff --git a/src/Test/buildconstraints.c b/src/Test/buildconstraints.c
index 81f01b3988c38deac8bbd87ed16560bfeb2c5f70..c91fd571294e276c65072854989be2eb38fea878 100644 (file)
--- a/src/Test/buildconstraints.c
+++ b/src/Test/buildconstraints.c
@@ -38,6 +38,6 @@ int main(int numargs, char ** argv) {
        Element* inputs2 [] = {e4, e3};
        Boolean* pred = applyPredicate(solver, equal2, inputs2, 2);
        addBoolean(solver, pred);
-       startEncoding(solver);
+//     startEncoding(solver);
        deleteSolver(solver);
 }