My public programs and models - mostly combinatorial problems and puzzles

Problem #345 - Matrix Sum

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

Express constraint programming problem with python and solve it with minizinc

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

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

Algorithms on the Box Wrapping Problem

Crosswords generator based on Gecode Constraint Programming framework.

Game of Life as a Constraint Satisfaction Problem using Gecode

Constraint Programming with Gecode for ID2204

Modification of Gecode v5 kernel to support counting base search heuristics

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