Closed jonadsimon closed 2 years ago
With the input "number sequence" the response is =====UNSATISFIABLE=====
=====UNSATISFIABLE=====
This breaks the parsing logic which assumes that a valid board is returned
These only happen when the length of the words is longer than that of the board, which basically never happens
With the input "number sequence" the response is
=====UNSATISFIABLE=====
This breaks the parsing logic which assumes that a valid board is returned