codes of my IUT course
-
Updated
Feb 28, 2021 - Python
codes of my IUT course
Scans and solves Sudoku Puzzles from images using AI
A tool that enables the designer to model Cyber-physical systems and verify their correctness
Solving Sudoku puzzles with Choco Solver.
CSE 318 Artificial Intelligence Sessional (L3/T2)
Solving perfect squares placement problem
A Sudoku solver that models a Sudoku board as a constraint program and then solves it using Choco Solver.
picocli example: solve queens puzzle with choco-solver
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
Logic games solver (Sudoku, Fubuki, Garam) using choco-solver
A program to resolve the Allocation Frequency problem using two different modelisations (COP and valued CSP)
Constraint Satisfaction problem
Solving the Car Sequencing Problem with Choco Solver.
Car-Sequencing Problem solved with Constraint Programming approach
A set of Maven-based libraries for High-Performance Knowledge Based Configuration Techniques
A Maven package for Configuration Knowledge Bases in Choco Solver
A constraint solver for Dishonored 2's Jindosh Riddle.
Add a description, image, and links to the choco-solver topic page so that developers can more easily learn about it.
To associate your repository with the choco-solver topic, visit your repo's landing page and select "manage topics."