Sudoku is considered as a constraint problem and solved
-
Updated
Oct 30, 2017 - Python
Sudoku is considered as a constraint problem and solved
An android application to play and solve Sudoku
Il s'agit de trouver les solutions possible pour une matrice 3*3 dont la somme des élements de chaque ligne sont égaux, ainsi que les colones et les diagonales
Object-oriented implementation of Constraint Handling Rules in modern Java
REST API for constrained programming , vehicle routing and bin packing
Project to build a fair round-robin tournament schedule for the FGF first division (Federação Gaúcha de Futebol) a.k.a Gauchão.
Here you may find my solutions to the two problems adapted from the coding challenge by the White Space Solutions. The solutions feature MST algorithm for graphs and constraint programming using the cp_sat solver.
PLR curricular unit project & class assignments (FEUP MEIC 4th) 22/23
Dinic's Algorithm for the Maximum Flow Problem.
A reservation system for uni classes, modelled as a CSP and implemented using clpfd.
Set of tools produced during the creation of the PhD thesis "Model selection and testing for an automated constraint modelling toolchain" which focused on how to find good constraint programming models automatically and how to test them.
BTD/RBO solver
Solving the high school timetable problem using a SAT-Solver
Solutions for EDAN01, also examples for JaCoP
PMRobo is a cloud-based, multi-threaded project scheduling engine written in Go. Given project constraints such as task dependencies, resource capacities, and task resource consumption, it sets task start dates so that all constraints are met and the project is completed in the shortest possible timeframe.
Create pure Minizinc .mzn files from Python using python-minizinc-maker library.
Logic Programming, Spring 2016-2017, Algorithmic problem solutions in Logic Programming (Prolog)
Add a description, image, and links to the constraint-programming topic page so that developers can more easily learn about it.
To associate your repository with the constraint-programming topic, visit your repo's landing page and select "manage topics."