Logic games solver (Sudoku, Fubuki, Garam) using choco-solver
-
Updated
Feb 10, 2018 - Java
#
choco-solver
Here are 36 public repositories matching this topic...
A program to resolve the Allocation Frequency problem using two different modelisations (COP and valued CSP)
constraint-satisfaction-problem choco-solver constraint-optimisation-problem allocation-frequency xcsp3 wcsp toulbar2
-
Updated
Jan 29, 2019 - Java
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
-
Updated
Nov 5, 2019 - Java
-
Updated
Nov 10, 2019 - Java
Some CSPLib problems implemented using the Choco Solver
-
Updated
Dec 5, 2019 - Java
A simple constraint program to solve the most complicated chicken wings menu
-
Updated
Dec 8, 2019 - Java
A Sudoku solver that models a Sudoku board as a constraint program and then solves it using Choco Solver.
java constraint-satisfaction-problem sudoku-solver sudoku constraint-programming choco-solver java-10
-
Updated
Dec 30, 2019 - Java
Constraint Satisfaction problem
-
Updated
Jul 17, 2020 - Java
Optimization of routing problem search algorithms by using Constraint Programming (last year project in Engineering School ISIMA)
-
Updated
Jul 25, 2020 - HTML
A tool that enables the designer to model Cyber-physical systems and verify their correctness
-
Updated
Jan 3, 2021 - Java
codes of my IUT course
constraint-satisfaction-problem game-theory hill-climbing-search tabu-search minizinc metaheuristics csp-solver random-restart 0-1-knapsack-problem choco-solver max-sat
-
Updated
Feb 28, 2021 - Python
-
Updated
Jun 20, 2021 - Java
An example for Domain Reduction using ChocoSolver
-
Updated
Jul 11, 2021 - Java
Planning optimization / HUST / 20202
-
Updated
Jul 17, 2021 - Java
Solving Sudoku puzzles with Choco Solver.
-
Updated
Aug 5, 2021 - Java
Solving the Car Sequencing Problem with Choco Solver.
-
Updated
Aug 15, 2021 - Java
-
Updated
Sep 8, 2021 - Java
Car-Sequencing Problem solved with Constraint Programming approach
-
Updated
Dec 22, 2021 - Java
CSE 318 Artificial Intelligence Sessional (L3/T2)
constraint-satisfaction-problem artificial-intelligence mancala hidden-markov-model alpha-beta-pruning n-puzzle a-star-search choco-solver adverserial-search futoshiki cse-buet
-
Updated
Feb 23, 2022 - Java
Improve this page
Add a description, image, and links to the choco-solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the choco-solver topic, visit your repo's landing page and select "manage topics."