X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FTest%2Ftestcnf.c;fp=src%2FTest%2Ftestcnf.c;h=0000000000000000000000000000000000000000;hb=6d0d99cec27718d5e92098793012f12a94ac95b9;hp=6740543ffaeef71821e83a5f0721310e1866295c;hpb=d3c7acaeed7864d6857eaf5961c649132cd601bd;p=satune.git

diff --git a/src/Test/testcnf.c b/src/Test/testcnf.c
deleted file mode 100644
index 6740543..0000000
--- a/src/Test/testcnf.c
+++ /dev/null
@@ -1,34 +0,0 @@
-#include "constraint.h"
-#include <stdio.h>
-
-int main(int numargs, char ** argv) {
-	CNF *cnf=createCNF();
-	Edge v1=constraintNewVar(cnf);
-	Edge v2=constraintNewVar(cnf);
-	Edge v3=constraintNewVar(cnf);
-	Edge v4=constraintNewVar(cnf);
-
-	Edge nv1=constraintNegate(v1);
-	Edge nv2=constraintNegate(v2);
-	Edge nv3=constraintNegate(v3);
-	Edge nv4=constraintNegate(v4);
-
-	Edge c1=constraintAND2(cnf, v1, nv2);
-	Edge c2=constraintAND2(cnf, v3, nv4);
-	Edge c3=constraintAND2(cnf, nv1, v2);
-	Edge c4=constraintAND2(cnf, nv3, v4);
-	Edge cor=constraintOR2(cnf, constraintAND2(cnf, c1, c2), constraintAND2(cnf, c3, c4));
-	printCNF(cor);
-	printf("\n");
-	addConstraintCNF(cnf, cor);
-	int value=solveCNF(cnf);
-	if (value==1) {
-		bool v1v=getValueCNF(cnf, v1);
-		bool v2v=getValueCNF(cnf, v2);
-		bool v3v=getValueCNF(cnf, v3);
-		bool v4v=getValueCNF(cnf, v4);
-		printf("%d %u %u %u %u\n", value, v1v, v2v, v3v, v4v);
-	} else
-		printf("%d\n",value);
-	deleteCNF(cnf);
-}