Added a deterministic solver