Solver

A research-oriented implementation and theoretical study of the optimization algorithms.