This is a console application to test the sat solver.
The test app can list available OpenCL devices, and you can select which one to run on.
You can enter a free-text equation to solve (eg.: "A & B | (C & !D)"), or load a file in the CNF format.
Run the app in the command line like this:
java -jar SatSolverTest.jar
Enter help to print available commands!