reverse copy constructor, use the Parser for creating copies instead
add 2 dimacs test instances
add changeStateOfVar with 1 argument (only index)