A server for solving combinatorial, convex, integer, and non-linear optimization problems.
★ 65 GitHub stars