An open API service providing repository metadata for many open source software ecosystems.

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: 29 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