Ecosyste.ms: Repos

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

GitHub topics: minizinc

Repositories

hakank/hakank

My public programs and models - mostly combinatorial problems and puzzles

Language: JavaScript - Size: 36.1 MB - Last synced: about 14 hours ago - Pushed: about 15 hours ago - Stars: 357 - Forks: 74

prushh/cvrp

Modelling and solving the capacitated vehicle routing problem in MiniZinc with Gecode

Language: Python - Size: 1.65 MB - Last synced: 13 days ago - Pushed: 14 days ago - Stars: 5 - Forks: 1

jmjrawlings/MiniZinc.Net

MiniZinc ↔ .NET

Language: C# - Size: 1.46 MB - Last synced: 20 days ago - Pushed: 20 days ago - Stars: 3 - Forks: 0

MiniZinc/minizinc-js

Use MiniZinc in the browser or with NodeJS

Language: JavaScript - Size: 785 KB - Last synced: 6 days ago - Pushed: about 1 month ago - Stars: 21 - Forks: 6

my-LinkedIn/pe-0345

Problem #345 - Matrix Sum

Size: 89.8 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

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.

Language: Python - Size: 312 KB - Last synced: 8 days ago - Pushed: almost 3 years ago - Stars: 8 - Forks: 0

openculinary/planner

The RecipeRadar planner provides suggested meal plans when provided with a kitchen inventory and dietary constraints

Language: Makefile - Size: 211 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

BenMMcLean/minizinc-web

Provides a web wrapper for a minizinc model & instance

Language: Python - Size: 22.5 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

ArtyomKaltovich/zython

Express constraint programming problem with python and solve it with minizinc

Language: Python - Size: 4.96 MB - Last synced: 11 days ago - Pushed: 6 months ago - Stars: 8 - Forks: 1

bokner/solverl

Erlang/Elixir interface to MiniZinc.

Language: Elixir - Size: 1.1 MB - Last synced: 24 days ago - Pushed: 7 months ago - Stars: 34 - Forks: 6

Diego2038/final_project_complexity_and_optimization

Final project of the subject Complexity and Optimization, using MiniZinc.

Language: Python - Size: 161 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

Arthod/python-minizinc-maker

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

Language: Python - Size: 1.91 MB - Last synced: 10 days ago - Pushed: 2 months ago - Stars: 5 - Forks: 0

ringvold/teamsort

Website to generate CSGO teams based on ranks

Language: Elixir - Size: 773 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

MiniZinc/minizinc-python

Access to all MiniZinc functionality directly from Python

Language: Python - Size: 1.44 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 131 - Forks: 19

unitn-sml/pyconstruct

Python library for declarative, constrained, structured-output prediction.

Language: Python - Size: 13.7 MB - Last synced: about 2 months ago - Pushed: 8 months ago - Stars: 21 - Forks: 4

Dekker1/zed-minizinc

MiniZinc language support for Zed

Size: 1.95 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

AndreaCicca/minizinc-2dpacking Fork of giammisimo/minizinc-2dpacking

Project for the "Constraint Programming" Course @ University of Parma

Language: Python - Size: 11.7 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

MiniZinc/mzn-bench

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

Language: Python - Size: 123 KB - Last synced: 3 months ago - Pushed: 8 months ago - Stars: 5 - Forks: 5

RFariha/WindowConstruction

Given the area of any specific room or space, the optimal number of windows that can be set up in that space, done with the help of the "Production Planning" system using Minizinc.

Size: 109 KB - Last synced: 3 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

jmjrawlings/unconstrained

Python devcontainer for constraint programming

Language: Shell - Size: 10.6 MB - Last synced: about 2 months ago - Pushed: 7 months ago - Stars: 3 - Forks: 0

Peakergzf/empirical-model-learning-in-minizinc

Adding Machine Learning capabilities to MiniZinc

Language: Python - Size: 11.8 MB - Last synced: 3 months ago - Pushed: over 5 years ago - Stars: 5 - Forks: 0

Dekker1/homebrew-minizinc

A Homebrew Tap for MiniZinc solvers

Language: Ruby - Size: 71.3 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 3 - Forks: 0

jaantollander/install-minizinc-ortools

Shell scripts for installing MiniZinc and Google OR-Tools on Linux.

Language: Shell - Size: 6.84 KB - Last synced: about 1 month ago - Pushed: 4 months ago - Stars: 3 - Forks: 1

Mapet13/six-spot-cube-solver

Solver for David Pitcher's Six Spot Cube created using Constraint Programming in MiniZinc

Size: 179 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

MeghanaDeshmukh/Constraint-Programming

Size: 5.86 KB - Last synced: 4 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

Scheggetta/vehicle-routing-problem Fork of NglQ/vehicle-routing-problem

Multiple combinatorial optimization techniques applied to the VRP problem

Size: 1.54 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

informarte/yuck

Yuck is a local-search constraint solver with FlatZinc interface

Language: Scala - Size: 2.07 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 52 - Forks: 10

MiniZinc/minizinc-playground

MiniZinc playground using WebAssembly

Language: Svelte - Size: 17 MB - Last synced: 3 months ago - Pushed: 6 months ago - Stars: 8 - Forks: 1

enricomors/cdmo_vlsi

Repo for the project of the course on Combinatorial Decision Making and Optimization @ Unibo

Language: Jupyter Notebook - Size: 29.9 MB - Last synced: 4 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 1

TrafficFlowOptimizer/optimizer

Optimizer module which solves given problem. Requires input data in correct form and can return traffic lights cycles

Language: Python - Size: 152 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

siemens/JMiniZinc

JMiniZinc

Language: Java - Size: 1.56 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 13 - Forks: 5

aldexdev/minizinc-examples

Some examples using MiniZinc to solve constraints problems

Size: 1.95 KB - Last synced: 7 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

SamTheMar/LAAI

LAAI Project

Size: 1.42 MB - Last synced: 8 months ago - Pushed: over 2 years ago - Stars: 2 - Forks: 1

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: 8 months ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 2

DmitryEzhov/FamMathProb

Famous Math Problems in MiniZinc, LocalSolver, OPL, AMPL, Mosel, LINGO

Language: Common Lisp - Size: 17.6 KB - Last synced: 8 months ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0

isse-augsburg/minibrass

Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc

Language: Jupyter Notebook - Size: 34.4 MB - Last synced: 8 months ago - Pushed: about 1 year ago - Stars: 15 - Forks: 7

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: 8 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

DavidPratten/jetisu

Jetisu is a toolset for modelling with sigma complete relations.

Language: Jupyter Notebook - Size: 7.29 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 7 - Forks: 1

damirpolat/minizinc-r

Prototype for Minizinc interface in R

Language: R - Size: 108 KB - Last synced: 10 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

mwritescode/VLSI

Solving The VLSI (Very Large Scale Integration) optimization problem using constraint programming and SMT.

Language: Python - Size: 6.24 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 1

Aathish04/MiniZincClassTimetable

A MiniZinc Model describing a class timetabling problem for a university, with a basic User Interface written with C and GTK4.

Language: C - Size: 13 MB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

zucchi99/Project-Automated-Reasoning

Calculation of a possible sharing of a quota between entities with different priorities and many constraints, using SAT-Solver or Answer Set Programming

Language: Python - Size: 1.07 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Dekker1/mzn-grader

A MOOC grading executable and library for MiniZinc modelling courses

Language: Python - Size: 31.3 KB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 1

lorenzobazzana/Warehouse_planning

A project about modelling a warehouse planning problem, in the ASP and MiniZinc languages

Language: Python - Size: 1.92 MB - Last synced: 5 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

FedericoSerafini/Room-Walk

A constraint optimization problem involving the identification of the shortest path from the access to the exit door of the room avoiding randomly placed obstacles.

Language: TeX - Size: 2.52 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

laserbat/gol.py

efficient Game of Life in Python

Language: Python - Size: 2.93 KB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 14 - Forks: 1

isabellamarasco/DecisionMakingWithConstraintProgramming 📦

Esercitazioni per il corso di Decision Making with Constraint Programming uniBo A.A.2022-2023.

Size: 2.14 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

sebastianaf/ppr-project

The final project of Programming Restrictions course of the Universidad del Valle Cali, CO.

Language: JavaScript - Size: 2.4 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

stivalaa/traffic_assignment

User equilibrium traffic assignment and models for scheduling road upgrades

Language: C++ - Size: 6.9 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 3 - Forks: 2

harsilspatel/libminizinc Fork of MiniZinc/libminizinc

the compiler for MiniZinc, a constraint programming language developed at Monash University 🛠

Language: C++ - Size: 25.3 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 1 - Forks: 0

micardona96/garbage-dump 📦

Proyecto Complejidad y Optimizaci´on

Language: Python - Size: 510 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

DanieleMorotti/vlsi-design Fork of Valendrew/vlsi-design

Combinatorial and Decision Making (CDMO) project (AY 2021/2022)

Size: 6.05 MB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

FedeSpu/VLSI

Given a simple VLSI (Very Large Scale Integration), use Constraint Programming, SAT and SMT solver, to provide the solution with the minimum height of the silicon chip

Language: Python - Size: 1.22 MB - Last synced: over 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 1

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)

Language: Python - Size: 859 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 1

Venn1998/CVRP_optimization

CVRP tackled with CP, SAT and MIP

Language: Jupyter Notebook - Size: 256 KB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ringvold/teamsort-cli 📦

CLI tool to sort players into even teams based on rank - DEPRECATED - check ringvold/teamsort for future udates

Language: Elm - Size: 334 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 2 - Forks: 1

paolodragone/pymzn

A Python wrapper for the MiniZinc tool pipeline.

Language: Python - Size: 8.13 MB - Last synced: 3 months ago - Pushed: over 2 years ago - Stars: 55 - Forks: 15

primianocristino/CDMO-2021

The VLSI problem requires to fit all the rectangles in the grid without overlapping one on an another, by minimizing the height of the grid.

Language: Python - Size: 40 KB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

eskinderit/2D-Strip-Packing-Problem

Solving the 2D Strip Packing problem with mutiple optimization techniques.

Language: Jupyter Notebook - Size: 10 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

lundellan/constraint-programming-course

Constraint Programming Course - Solutions for classic problems in constraint programming. 🧮🧮

Language: Java - Size: 1.9 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

kode-git/vrp

Project based on the analyses and report of results during the research of the optimal solution in the Vehicle Routing Problem using Constraint Programming approach and Minizinc tool. It was used to Constraint Programming exam at Alma Mater Studiorum - DISI Course

Size: 979 KB - Last synced: over 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

JuanCarlosAcostaPeraba/eii-ulpgc

Ingeniería Informática - ULPGC

Language: Java - Size: 2.67 MB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Pinzauti/automated-reasoning

Solving a Constraint Satisfaction Problem with ASP and MiniZinc.

Language: Python - Size: 81.1 KB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

TommasoAzz/vrp-csp

Solution to the Constraint Satisfaction Problem "Vehicle Routing Problem".

Language: TeX - Size: 7.94 MB - Last synced: over 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

inz/docker-minizinc

Minimal Docker images for MiniZinc

Language: Ruby - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 3 - Forks: 0

xtimk/minizinc_constraint_ex

Set of problems solved using a constraint solver

Size: 18.6 KB - Last synced: over 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

GhazaleZe/Artificial-Intelligence

codes of my IUT course

Language: Python - Size: 64.5 KB - Last synced: over 1 year ago - Pushed: over 3 years ago - Stars: 6 - Forks: 1

emyesme/DesenfrenoPasiones

Constraint Programming project for a soap opera rehearsal problem

Language: JavaScript - Size: 2.68 MB - Last synced: over 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

Erhtric/VLSI Fork of WenXiaowei/VLSI

This is the repo for the project in Combinatorial Decision Making and Optimization at @unibo.: solving a Very Large Scala Integration (VLSI) where we have to optimally fill a chip board by exploiting combinatorially the combinations using MiniZinc and Z3.

Size: 8.7 MB - Last synced: over 1 year ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0