transfer to cnf form where boolean expressions are present
tiny fixes
bug fixing
bug fixing; new tests
different fixes
solver improvement