From 2c3e688c3f779f0abfaad887f13ab2b70c9f814a Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Wed, 30 Jun 2021 01:58:24 +0000 Subject: 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. --- dat.h | 1 + 1 file changed, 1 insertion(+) (limited to 'dat.h') 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 { -- cgit v1.2.3