Basic Implementation of Solver