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: 20 days ago - Pushed at: 20 days ago - Stars: 6 - Forks: 0

hakank/hakank

My public programs and models - mostly combinatorial problems and puzzles

Language: JavaScript - Size: 61.1 MB - Last synced at: 6 months ago - Pushed at: 7 months ago - Stars: 366 - Forks: 76

my-LinkedIn/pe-0345

Problem #345 - Matrix Sum

Size: 103 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

artsiomkaltovich/zython

Express constraint programming problem with python and solve it with minizinc

Language: Python - Size: 4.97 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 8 - Forks: 1

SaGagnon/gecode-5-cbs 📦

Modification of Gecode v5 kernel to support counting base search heuristics

Language: C++ - Size: 4.66 MB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

SaGagnon/gecode-5-extension 📦

Language: C - Size: 4.36 MB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

charalav7/ConstraintProgramming

Constraint Programming with Gecode for ID2204

Language: C++ - Size: 115 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

alex-87/HyperGraphLib

C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.

Language: C++ - Size: 619 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 19 - Forks: 2

alex-87/gameoflife-csp

Game of Life as a Constraint Satisfaction Problem using Gecode

Language: C++ - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

Yadav122/Navigation

An application that keeps track of the current location of the user using GPS

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

lluisalemanypuig/box-wrapping

Algorithms on the Box Wrapping Problem

Language: C++ - Size: 4.63 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

gberthou/crosswords-generator

Crosswords generator based on Gecode Constraint Programming framework.

Language: C++ - Size: 66.4 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

alex-87/mokitu-solver

This software is a Mokitu (Sudoku with letters) Solver and Builder, using wxWidgets 3 and Gecode 4.2.1.

Language: C++ - Size: 26.4 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0