├── .github ├── dependabot.yml ├── logo.png └── workflows │ ├── ci.yml │ └── docker.yml ├── .gitignore ├── Dockerfile ├── LICENSE ├── README.md ├── examples ├── chained_solvers.py ├── chemical_engineering.py ├── coin_problem.py ├── cryptarithmetic.py ├── full │ ├── README.md │ ├── client.py │ ├── flowsheet_data.csv │ ├── flowsheet_data.xlsx │ ├── flowsheet_metadata.csv │ ├── flowsheet_metadata.xlsx │ ├── prompt.md │ └── solution.md ├── job_shop.py ├── knapsack.py ├── logistics.py ├── multilinear.py ├── network_flow.py ├── nqueens.py ├── nurse_scheduling.py ├── portfolio_theory.py ├── production_planning.py ├── resource_allocation.py └── sparse_solver.py ├── install.py ├── pyproject.toml ├── tests ├── test_cvxpy.py ├── test_highs.py ├── test_ortools.py └── test_z3.py ├── usolver_mcp ├── __init__.py ├── models │ ├── __init__.py │ ├── cvxpy_models.py │ ├── highs_models.py │ ├── ortools_models.py │ └── z3_models.py ├── server │ ├── __init__.py │ └── main.py └── solvers │ ├── __init__.py │ ├── cvxpy_solver.py │ ├── highs_solver.py │ ├── ortools_solver.py │ └── z3_solver.py └── uv.lock /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/.github/logo.png -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/docker.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/.github/workflows/docker.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/.gitignore -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/README.md -------------------------------------------------------------------------------- /examples/chained_solvers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/chained_solvers.py -------------------------------------------------------------------------------- /examples/chemical_engineering.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/chemical_engineering.py -------------------------------------------------------------------------------- /examples/coin_problem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/coin_problem.py -------------------------------------------------------------------------------- /examples/cryptarithmetic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/cryptarithmetic.py -------------------------------------------------------------------------------- /examples/full/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/full/README.md -------------------------------------------------------------------------------- /examples/full/client.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/full/client.py -------------------------------------------------------------------------------- /examples/full/flowsheet_data.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/full/flowsheet_data.csv -------------------------------------------------------------------------------- /examples/full/flowsheet_data.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/full/flowsheet_data.xlsx -------------------------------------------------------------------------------- /examples/full/flowsheet_metadata.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/full/flowsheet_metadata.csv -------------------------------------------------------------------------------- /examples/full/flowsheet_metadata.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/full/flowsheet_metadata.xlsx -------------------------------------------------------------------------------- /examples/full/prompt.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/full/prompt.md -------------------------------------------------------------------------------- /examples/full/solution.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/full/solution.md -------------------------------------------------------------------------------- /examples/job_shop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/job_shop.py -------------------------------------------------------------------------------- /examples/knapsack.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/knapsack.py -------------------------------------------------------------------------------- /examples/logistics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/logistics.py -------------------------------------------------------------------------------- /examples/multilinear.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/multilinear.py -------------------------------------------------------------------------------- /examples/network_flow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/network_flow.py -------------------------------------------------------------------------------- /examples/nqueens.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/nqueens.py -------------------------------------------------------------------------------- /examples/nurse_scheduling.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/nurse_scheduling.py -------------------------------------------------------------------------------- /examples/portfolio_theory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/portfolio_theory.py -------------------------------------------------------------------------------- /examples/production_planning.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/production_planning.py -------------------------------------------------------------------------------- /examples/resource_allocation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/resource_allocation.py -------------------------------------------------------------------------------- /examples/sparse_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/examples/sparse_solver.py -------------------------------------------------------------------------------- /install.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/install.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/pyproject.toml -------------------------------------------------------------------------------- /tests/test_cvxpy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/tests/test_cvxpy.py -------------------------------------------------------------------------------- /tests/test_highs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/tests/test_highs.py -------------------------------------------------------------------------------- /tests/test_ortools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/tests/test_ortools.py -------------------------------------------------------------------------------- /tests/test_z3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/tests/test_z3.py -------------------------------------------------------------------------------- /usolver_mcp/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/usolver_mcp/__init__.py -------------------------------------------------------------------------------- /usolver_mcp/models/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /usolver_mcp/models/cvxpy_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/usolver_mcp/models/cvxpy_models.py -------------------------------------------------------------------------------- /usolver_mcp/models/highs_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/usolver_mcp/models/highs_models.py -------------------------------------------------------------------------------- /usolver_mcp/models/ortools_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/usolver_mcp/models/ortools_models.py -------------------------------------------------------------------------------- /usolver_mcp/models/z3_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/usolver_mcp/models/z3_models.py -------------------------------------------------------------------------------- /usolver_mcp/server/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /usolver_mcp/server/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/usolver_mcp/server/main.py -------------------------------------------------------------------------------- /usolver_mcp/solvers/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /usolver_mcp/solvers/cvxpy_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/usolver_mcp/solvers/cvxpy_solver.py -------------------------------------------------------------------------------- /usolver_mcp/solvers/highs_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/usolver_mcp/solvers/highs_solver.py -------------------------------------------------------------------------------- /usolver_mcp/solvers/ortools_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/usolver_mcp/solvers/ortools_solver.py -------------------------------------------------------------------------------- /usolver_mcp/solvers/z3_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/usolver_mcp/solvers/z3_solver.py -------------------------------------------------------------------------------- /uv.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdiehl/usolver/HEAD/uv.lock --------------------------------------------------------------------------------