In the textarea each line in an statement. They all need to be true.
Each statement is a set of "or" phases and each phase is a "name" or "not name".
Variable names are converted to numbers.
For example, for a SAT solver the statement "not a or not b or c" is the array: [-1, -2, 3]