1) Assign values to N, M, and K.
2) Push the GenFormula button to
generate a random formula or push the ReadFormula button to read in a formula
from the input window.
3) Push the Start button to find
a solution or restart the stopped process.
4) Push the View Value button to
see the values of variables.
5) Push the View Formula button
to see the clauses of the formula.
6) Push the Stop button to stop
the thread running to find a solution.
7) Push the Clear button to clear
the window and initialize each variable.
8) Choose different algorithm from
Algorithm Options and different speed from Speed Options.
9) Click on each square to view
the corresponding clause in the output window.