Results for "minizinc-python"

8 skills found

Access to all MiniZinc functionality directly from Python

A Python wrapper for the MiniZinc tool pipeline.

Express constraint programming problem with python and solve it with minizinc

This is OR-course project with Minizinc and Python.

Create pure Minizinc .mzn files from Python using python-minizinc-maker library.

A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.

Solving the MCVRP problem using: Constraint Programming, Satisfiability Module Theory and Mixed Integers Linear Programming.

A MiniZinc solver for Miracle Sudoku, a Sudoku variant with additional constraints, and a Miracle Sudoku generator.