There are 0 repository under choco-solver topic.
codes of my IUT course
Car-Sequencing Problem solved with Constraint Programming approach
A curated list of my implementations from the course 'CSE318: Artificial Intelligence'
CSE 318 Artificial Intelligence Sessional (L3/T2)
Planning optimization / HUST / 20202
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
A tool that enables the designer to model Cyber-physical systems and verify their correctness
A constraint solver for Dishonored 2's Jindosh Riddle.
picocli example: solve queens puzzle with choco-solver
Solving perfect squares placement problem
A program to resolve the Allocation Frequency problem using two different modelisations (COP and valued CSP)
Constraint Satisfaction problem
A set of Maven-based libraries for High-Performance Knowledge Based Configuration Techniques
AI Sessional of BUET CSE Dept
A simple constraint program to solve the most complicated chicken wings menu
Some CSPLib problems implemented using the Choco Solver
Optimization of routing problem search algorithms by using Constraint Programming (last year project in Engineering School ISIMA)
A Sudoku solver that models a Sudoku board as a constraint program and then solves it using Choco Solver.
Solving the Car Sequencing Problem with Choco Solver.
Solving Sudoku puzzles with Choco Solver.
An example for Domain Reduction using ChocoSolver
Logic games solver (Sudoku, Fubuki, Garam) using choco-solver
Sudoscan web version