Prioritization and placement of roadside units in Intelligent transportation systems.
Numbers round of Countdown (game show) in OPL with Constraint Programming
Logical programming in JavaScript
GHOST (General meta-Heuristic Optimization Solving Tool) is a C# library designed to solve combinatorial satisfaction and optimization problems within some tenth of milliseconds.
Intelligence Artificielle pour le jeu Mastermind en programmation par contraintes
udacity aind project 1
An application to solve the logic-based combinatorial game, sudoku.
Minesweeper Solver (+GUI)
🌲🌲🌲🚪🏃🍃🕳💩👿🌲🌲🌲
Cinemática direta e inversa - Prolog
Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.
Constraint Type provider is a Type provider that provides constraints over F# Types.
Vim syntax detecting, highlighting and concealing for the Essence and Essence' modelling languages.
N-Queens problem solvers and solution counters implemented using a constrained DFS algorithm
Sudoku is considered as a constraint problem and solved
Constrain programming Solver based on Arc-Consistency (3, 4, 6, 2001, *) algorithms
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."