lowercase all incoming varnames

The CNF store is case-indifferent regarding variable names when
reading from it, so just normalize all of them when internalizing
variables.

diff --git a/src/cnfvar.py b/src/cnfvar.py
index 766e299..7ab5d93 100644 (file)
--- a/src/cnfvar.py
+++ b/src/cnfvar.py
@@ -367,7 +367,7 @@ def marshal_in_number   (number):   return int (number)
 
 def marshal_in_parent   (parent):   return int (parent)
 
-def marshal_in_varname  (varname):  return from_latin1 (varname)
+def marshal_in_varname  (varname):  return from_latin1 (varname).lower ()
 
 def marshal_in_instance (instance): return int (instance)