Create Solver.java

Solver.java is the main file of the program, comparable to ProofChecker.java. I literally copied ProofChecker into the file and worked from there.