Add test cases

[satune.git] / src / Test / graphtest.cc

diff --git a/src/Test/graphtest.cc b/src/Test/graphtest.cc
new file mode 100644 (file)
index 0000000..976ce60
--- /dev/null
+++ b/src/Test/graphtest.cc
@@ -0,0 +1,19 @@
+#include "csolver.h"
+
+int main(int numargs, char **argv) {
+       CSolver *solver = new CSolver();
+       uint64_t set1[] = {1, 2, 3};
+       Set *s = solver->createSet(0, set1, 3);
+       Order *order = solver->createOrder(SATC_TOTAL, s);
+       BooleanEdge b12 =  solver->orderConstraint(order, 1, 2);
+       solver->addConstraint(b12);
+       BooleanEdge b23 =  solver->orderConstraint(order, 2, 3);
+       solver->addConstraint(b23);
+
+       if (solver->solve() == 1) {
+               printf("SAT\n");
+       } else {
+               printf("UNSAT\n");
+       }
+       delete solver;
+}