Solver Technical Manual