by sharmarajnish
Provides unified access to multiple optimization solvers including Z3, CVXPY, HiGHS, and OR-Tools for solving constraint satisfaction, convex optimization, linear programming, and combinatorial problems like portfolio optimization, production planning, scheduling, and classic puzzles with mathematical formulations and visualization capabilities.
Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.