GitHub topics: minizinc-python
MiniZinc/mzn-bench
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
Language: Python - Size: 210 KB - Last synced at: 29 days ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 7
Arthod/python-minizinc-maker
Create pure Minizinc .mzn files from Python using python-minizinc-maker library.
Language: Python - Size: 1.91 MB - Last synced at: 30 days ago - Pushed at: 2 months ago - Stars: 6 - Forks: 0
SimReale/multiple_couriers_CVRP
Combinatorial optimization project for the Multiple Couriers Problem (MCP).
Language: Python - Size: 2.18 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
Gwynbleidd0241/-Konf_3sem_mirea-
Практические и домашние задания по конфигурационному управлению МИРЭА
Language: Python - Size: 470 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0
SamTheMar/Strip_packing_problem
The strip packing problem is a 2-dimensional geometric minimization problem. Given a set of axis-aligned rectangles and a strip of bounded width and infinite height, determine an overlapping-free packing of the rectangles into the strip minimizing its height.
Language: Jupyter Notebook - Size: 8.67 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 2
nicolodon/MCVRP
Solving the MCVRP problem using: Constraint Programming, Satisfiability Module Theory and Mixed Integers Linear Programming.
Language: Python - Size: 4.02 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
Dan-LB/miracle_sudoku
A MiniZinc solver for Miracle Sudoku, a Sudoku variant with additional constraints, and a Miracle Sudoku generator.
Language: Python - Size: 45.9 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
