Fixed an error with how the restful service is handled.
Started the implementation of the solver, which still may deadlock.
Added a test that is solvable by the threaded solver.