SatSolver Test application

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!