lib-cppsolver