gecode

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

Game of Life as a Constraint Satisfaction Problem using Gecode

MiniZinc constraint models for the Trucks planning problem: satisfiability and cost minimization, with a 100-instance benchmark across Chuffed, Gecode, HiGHS and OR-Tools. Coursework, Constraint Programming, University of Parma, A.Y. 2025/2026.

Constraint Programming with Gecode for ID2204

Production-grade MiniZinc Constraint Programming (CP) & Operations Research (OR) benchmark suite with interactive Python CLI launcher.

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

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

Algorithms on the Box Wrapping Problem

Crosswords generator based on Gecode Constraint Programming framework.

Problem #345 - Matrix Sum

CP (constraint programming) problems solved mainly in Gecode library

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

🤖 Automate coding tasks with Frink Loop, an AI-driven engine that manages subtasks efficiently using OpenAI or Anthropic for intelligent execution.