choco-solver
There are 31 repositories under choco-solver topic.
GhazaleZe/Artificial-Intelligence
codes of my IUT course
pintowar/sudoscan
Scans and solves Sudoku Puzzles from images using AI
anasoubaha/Car-Sequencing-Problem
Car-Sequencing Problem solved with Constraint Programming approach
dangnm9699/semester-exam-scheduling
Planning optimization / HUST / 20202
Tahmeed156/Artificial-Intelligence-Sessional
A curated list of my implementations from the course 'CSE318: Artificial Intelligence'
zarif98sjs/CSE-318-Artificial-Intelligence
CSE 318 Artificial Intelligence Sessional (L3/T2)
Fatima-Usf/Constraint-Programming-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
IG-ReDCAD/BPMN4CPS-Tool
A tool that enables the designer to model Cyber-physical systems and verify their correctness
KB9/JindoshRiddleSolver
A constraint solver for Dishonored 2's Jindosh Riddle.
manleviet/ChocoKB
A Maven package for Configuration Knowledge Bases in Choco Solver
manleviet/FeatureModelPackage
A Maven package for feature models
marcelmaatkamp/picocli-example-choco-solver-queens
picocli example: solve queens puzzle with choco-solver
stefan-matcovici/perfect-squares-placement
Solving perfect squares placement problem
swasun/FrequencyAllocationProblem
A program to resolve the Allocation Frequency problem using two different modelisations (COP and valued CSP)
zaman-akib/Suguru-Game-CSP
Constraint Satisfaction problem
Hareski/Medimenu
Menu generator in constraint programming with a website in Jakarta/Java
HiConfiT/hiconfit-core
A set of Maven-based libraries for High-Performance Knowledge Based Configuration Techniques
Najib-Haq/CSE-318-Artificial-Intelligence
AI Sessional of BUET CSE Dept
pedronave/chicken-wings
A simple constraint program to solve the most complicated chicken wings menu
pedronave/csp-lib-choco
Some CSPLib problems implemented using the Choco Solver
salepape/workforce-scheduling-cp
Optimization of routing problem search algorithms by using Constraint Programming (last year project in Engineering School ISIMA)
sraaphorst/sudoku-cp
A Sudoku solver that models a Sudoku board as a constraint program and then solves it using Choco Solver.
brandonfl/Model-PPC
Choco-Solver All-Interval Series
LearnToCode180/Car-Sequencing-Problem-Solver
Solving the Car Sequencing Problem with Choco Solver.
LearnToCode180/Sudoku-Solver
Solving Sudoku puzzles with Choco Solver.
manleviet/DomainReduction
An example for Domain Reduction using ChocoSolver
norbjd/logic-games-csp
Logic games solver (Sudoku, Fubuki, Garam) using choco-solver
pintowar/sudoscan-web
Sudoscan web version