Generate Settlers of Catan maps with constraint programming

Problem #345 - Matrix Sum

Calculation of a possible sharing of a quota between entities with different priorities and many constraints, using SAT-Solver or Answer Set Programming

second cycle first semester

MiniZinc and MiniCPU

Optimization for Very Large Scale Integration using Constraint Programming, SAT and SMT.

A MOOC grading executable and library for MiniZinc modelling courses

Set of problems solved using a constraint solver

Bacis Demand Side Response optimization algorithm with MiniZinc

Some examples using MiniZinc to solve constraints problems

Constraint programming exercises in MiniZinc

Multiple combinatorial optimization techniques applied to the VRP problem

Exercises about logic programming (Prolog) and constraint programming (MiniZinc)

A constraint optimization problem involving the identification of the shortest path from the access to the exit door of the room avoiding randomly placed obstacles.

Solver for David Pitcher's Six Spot Cube created using Constraint Programming in MiniZinc

Final project of the subject Complexity and Optimization, using MiniZinc.

river crossing puzzle

Algorithms for Computational Logic's project.