NoSuchElementException thrown on correct CNF #17
Description
Description
The CNF below is in correct format, but KoSAT throws an exception. This is not the only such CNF, but the exact problem is unclear.
To reproduce
p cnf 2 2
1 0
1 2 2 0
Expected behavior
Either SAT or UNSAT.
Actual behavior
NoSuchElementException: Collection contains no element matching the predicate.
Environment