Solver library of the solstice app