My public programs and models - mostly combinatorial problems and puzzles

comet ampl prolog choco constraint-programming constraint-satisfaction sicstus-prolog minizinc answer-set-programming gecode essence numberjack setl picat z3py eclipse-clp jacop jgap frink poplog

• Updated Nov 27, 2025
• JavaScript

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

computer-science library algorithm algorithms cpp boost school-project graph-theory constraint-programming combinatorics hypergraph gecode hypergraphs-modelisation-library

• Updated Nov 11, 2026
• C++

Express constraint programming problem with python and solve it with minizinc

python constraint-programming minizinc gecode

• Updated Feb 22, 2026
• Python

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

solver constraint-programming minizinc gecode discrete-optimization flatzinc minizinc-python

• Updated Apr 26, 2026
• Python

Game of Life as a Constraint Satisfaction Problem using Gecode

csp game-of-life example gameoflife gecode

• Updated Oct 7, 2019
• C++

Constraint Programming with Gecode for ID2204

kth gecode id2204

• Updated Jun 4, 2018
• C++

CP (constraint programming) problems solved mainly in Gecode library

cpp constraint-programming gecode discrete-optimization

• Updated May 18, 2019
• C++

Algorithms on the Box Wrapping Problem

optimization linear-programming constraint-programming cplex constraint-satisfaction sat gecode box-wrapping bwp box-wrapping-problem lingeling

• Updated Dec 8, 2020
• C++

Crosswords generator based on Gecode Constraint Programming framework.

constraint-programming gecode crossword-generator

• Updated Oct 11, 2019
• C++

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

macos swift productivity ai comet ampl simpsons constraint-satisfaction minizinc gecode radial-menu imessage-apps setl z3py jacop

• Updated Oct 12, 2026
• TypeScript

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.

benchmark university-project planning constraint-programming minizinc gecode combinatorial-optimization or-tools highs chuffed

• Updated Sep 6, 2026
• MiniZinc

gecode counting-based-search

• Updated Feb 7, 2018
• C

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

python csp algorithms constraint-programming operations-research minizinc gecode discrete-optimization

• Updated Jul 24, 2026
• MiniZinc

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

java xml location-services gecode intentservice resultreciver

• Updated Jul 30, 2023
• Java

Problem #345 - Matrix Sum

csp project-euler solution linkedin projecteuler minizinc projecteuler-solutions gecode csp-solver

• Updated Jul 25, 2024

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

c-plus-plus solver wxwidgets school-project gecode

• Updated Mar 19, 2017
• C++

Modification of Gecode v5 kernel to support counting base search heuristics

constraint-programming gecode counting-based-search search-heuristics

• Updated Feb 16, 2018
• C++