My public programs and models - mostly combinatorial problems and puzzles

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

Express constraint programming problem with python and solve it with minizinc

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

Game of Life as a Constraint Satisfaction Problem using Gecode

Constraint Programming with Gecode for ID2204

Algorithms on the Box Wrapping Problem

Crosswords generator based on Gecode Constraint Programming framework.

Problem #345 - Matrix Sum

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

Modification of Gecode v5 kernel to support counting base search heuristics

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