1 #include "constraint.h"
4 int main(int numargs, char **argv) {
5 CNF *cnf = createCNF();
6 Edge v1 = constraintNewVar(cnf);
7 Edge v2 = constraintNewVar(cnf);
8 Edge v3 = constraintNewVar(cnf);
9 Edge v4 = constraintNewVar(cnf);
11 Edge nv1 = constraintNegate(v1);
12 Edge nv2 = constraintNegate(v2);
13 Edge nv3 = constraintNegate(v3);
14 Edge nv4 = constraintNegate(v4);
16 Edge c1 = constraintAND2(cnf, v1, nv2);
17 Edge c2 = constraintAND2(cnf, v3, nv4);
18 Edge c3 = constraintAND2(cnf, nv1, v2);
19 Edge c4 = constraintAND2(cnf, nv3, v4);
20 Edge cor = constraintOR2(cnf, constraintAND2(cnf, c1, c2), constraintAND2(cnf, c3, c4));
23 addConstraintCNF(cnf, cor);
24 int value = solveCNF(cnf);
26 bool v1v = getValueCNF(cnf, v1);
27 bool v2v = getValueCNF(cnf, v2);
28 bool v3v = getValueCNF(cnf, v3);
29 bool v4v = getValueCNF(cnf, v4);
30 printf("%d %u %u %u %u\n", value, v1v, v2v, v3v, v4v);