lowercase all incoming varnames
authorPhilipp Gesang <philipp.gesang@intra2net.com>
Fri, 8 Dec 2017 12:34:46 +0000 (13:34 +0100)
committerChristian Herdtweck <christian.herdtweck@intra2net.com>
Mon, 5 Nov 2018 11:16:39 +0000 (12:16 +0100)
commit68ebfc1049026e90e7e949ab96b6038a2e20fc19
treee4cfdc74d38cd8ad1a6a3869fe077d678e4f603f
parent5226025f3b9a1a3dd4e3a587d1101173d3b60672
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.
src/cnfvar.py