Starting to work on version which will output CNF formulas rather than a direct solution