From b70255ddbc78c3d92a888997a3d76d18880f0f38 Mon Sep 17 00:00:00 2001 From: ccremers Date: Fri, 16 Jul 2004 21:17:32 +0000 Subject: [PATCH] - Fix symmetry reductions, choose might interfere with this. --- src/todo.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/todo.txt b/src/todo.txt index 690ff07..b42d5ec 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,5 @@ +- HIGH PRIORITY: Fix -t11 to be left-oriented. This is more consistent with + ensuring that the other symmetry reductions work as advertised. - Figure out how static building works. Might even involve switching to automake alternative (Cons, SCons,..) - Constraint logic now also has no checks for when a run is done by the