minizinc
There are 120 repositories under minizinc topic.
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
MiniZinc/minizinc-python
Access to all MiniZinc functionality directly from Python
informarte/yuck
Yuck is a local-search constraint solver with FlatZinc interface
paolodragone/pymzn
A Python wrapper for the MiniZinc tool pipeline.
bokner/solverl
Erlang/Elixir interface to MiniZinc.
MiniZinc/minizinc-js
Use MiniZinc in the browser or with NodeJS
unitn-sml/pyconstruct
Python library for declarative, constrained, structured-output prediction.
jump-dev/MiniZinc.jl
A Julia interface to the MiniZinc constraint modeling language
isse-augsburg/minibrass
Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc
bokner/solverview
solverl+LiveView examples
siemens/JMiniZinc
JMiniZinc
laserbat/gol.py
efficient Game of Life in Python
DavidPratten/jetisu
Jetisu is a toolset for modelling with sigma complete relations.
LuddeWessen/assembly-robot-manager-minizinc
A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimizing for cyclic schedules.
MiniZinc/minizinc-playground
MiniZinc playground using WebAssembly
artsiomkaltovich/zython
Express constraint programming problem with python and solve it with minizinc
Vladimir-Romanko/Modeling-in-MiniZinc
My codes of models in MiniZinc (constraint programming). Every folder has an own README-file with a detailed explanation.
GhazaleZe/Artificial-Intelligence
codes of my IUT course
Arthod/python-minizinc-maker
Create pure Minizinc .mzn files from Python using python-minizinc-maker library.
jmjrawlings/MiniZinc.Net
MiniZinc ↔ .NET
rhartert/gofzn
Parser for the FlatZinc modeling language in Go
MiniZinc/mzn-bench
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
nicolodon/MCVRP
Solving the MCVRP problem using: Constraint Programming, Satisfiability Module Theory and Mixed Integers Linear Programming.
Peakergzf/empirical-model-learning-in-minizinc
Adding Machine Learning capabilities to MiniZinc
prushh/cvrp
Modelling and solving the capacitated vehicle routing problem in MiniZinc with Gecode
alessandrostockman/cdmo-vlsi
Combinatorial Decision Making and Optimization project on Very Large Scale Integration (VLSI) with Constraint Programming (CP), propositional SATisfiability (SAT), and Satisfiability Modulo Theories (SMT)
huub-solver/huub
A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
sebastianaf/ppr-project
The final project of Programming Restrictions course of the Universidad del Valle Cali, CO.
Dekker1/homebrew-minizinc
A Homebrew Tap for MiniZinc solvers
eskinderit/2D-Strip-Packing-Problem
Solving the 2D Strip Packing problem with mutiple optimization techniques.
inz/docker-minizinc
Minimal Docker images for MiniZinc
jaantollander/install-minizinc-ortools
Shell scripts for installing MiniZinc and Google OR-Tools on Linux.
jmjrawlings/unconstrained
Python devcontainer for constraint programming
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.
stivalaa/traffic_assignment
User equilibrium traffic assignment and models for scheduling road upgrades
Gwynbleidd0241/-Konf_3sem_mirea-
Практические и домашние задания по конфигурационному управлению МИРЭА