OFC Solver