Added some existing code and a parallel attempt at a deterministic solver.