Add backtracking to the evaluator. This means we have to keep track of choicepoints which is implemented the easy but wasteful way for now.

I have also added a number which is used to differentiate variables from different application of the clauses.

1 files changed, 1 insertions, 0 deletions

diff --git a/dat.h b/dat.h
index d13ee00..e4ddc74 100644
--- a/dat.h
+++ b/dat.h
@@ -10,6 +10,7 @@ struct Term
 	int numbertype;
 	vlong ival;
 	double dval;
+	uvlong clausenr;
 };
 
 enum {