HiConfiT/hiconfit-core

A set of Maven-based libraries for High-Performance Knowledge Based Configuration Techniques

Language: Perl - Size: 4.79 MB - Last synced: 16 days ago - Pushed: 17 days ago - Stars: 0 - Forks: 0

pintowar/sudoscan

Scans and solves Sudoku Puzzles from images using AI

Language: Kotlin - Size: 2.48 MB - Last synced: 3 months ago - Pushed: about 1 year ago - Stars: 6 - Forks: 1

NaoualSmaili/Sudoku

Language: Java - Size: 1.95 KB - Last synced: 5 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

salepape/workforce-scheduling-cp

Optimization of routing problem search algorithms by using Constraint Programming (last year project in Engineering School ISIMA)

Language: HTML - Size: 58.2 MB - Last synced: 5 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

zarif98sjs/CSE-318-Artificial-Intelligence

CSE 318 Artificial Intelligence Sessional (L3/T2)

Language: Java - Size: 5.83 MB - Last synced: about 2 months ago - Pushed: about 2 years ago - Stars: 2 - Forks: 0

manleviet/FeatureModelPackage 📦

A Maven package for feature models

Language: Java - Size: 234 KB - Last synced: 9 months ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

manleviet/DomainReduction 📦

An example for Domain Reduction using ChocoSolver

Language: Java - Size: 10.7 KB - Last synced: 9 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

manleviet/ChocoKB 📦

A Maven package for Configuration Knowledge Bases in Choco Solver

Language: Perl - Size: 1.01 MB - Last synced: 9 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

Fatima-Usf/Queen-game-CP

Language: Java - Size: 2.93 KB - Last synced: 10 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

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

Language: Java - Size: 8.79 KB - Last synced: 10 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

marcelmaatkamp/picocli-example-choco-solver-queens

picocli example: solve queens puzzle with choco-solver

Language: Java - Size: 87.2 MB - Last synced: almost 1 year ago - Pushed: almost 1 year ago - Stars: 1 - Forks: 0

zaman-akib/Suguru-Game-CSP

Constraint Satisfaction problem

Language: Java - Size: 1.91 MB - Last synced: 12 months ago - Pushed: almost 4 years ago - Stars: 1 - Forks: 0

swasun/FrequencyAllocationProblem 📦

A program to resolve the Allocation Frequency problem using two different modelisations (COP and valued CSP)

Language: Java - Size: 14.7 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

brandonfl/Model-PPC 📦

Choco-Solver All-Interval Series

Language: Java - Size: 283 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

Najib-Haq/CSE-318-Artificial-Intelligence

AI Sessional of BUET CSE Dept

Language: Python - Size: 944 KB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

sraaphorst/sudoku-cp

A Sudoku solver that models a Sudoku board as a constraint program and then solves it using Choco Solver.

Language: Java - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

Tahmeed156/Artificial-Intelligence-Sessional

A curated list of my implementations from the course 'CSE318: Artificial Intelligence'

Language: Java - Size: 12.1 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

GhazaleZe/Artificial-Intelligence

codes of my IUT course

Language: Python - Size: 64.5 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 6 - Forks: 1

pintowar/sudoscan-web

Sudoscan web version

Language: TypeScript - Size: 588 KB - Last synced: 7 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

LearnToCode180/Car-Sequencing-Problem-Solver

Solving the Car Sequencing Problem with Choco Solver.

Language: Java - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

dangnm9699/semester-exam-scheduling

Planning optimization / HUST / 20202

Language: Java - Size: 2.26 MB - Last synced: 4 months ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

LearnToCode180/Sudoku-Solver

Solving Sudoku puzzles with Choco Solver.

Language: Java - Size: 64.5 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

IG-ReDCAD/BPMN4CPS-Tool

A tool that enables the designer to model Cyber-physical systems and verify their correctness

Language: Java - Size: 1.49 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

Hareski/Medimenu

Menu generator in constraint programming with a website in Jakarta/Java

Language: Java - Size: 3.44 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

stefan-matcovici/perfect-squares-placement

Solving perfect squares placement problem

Language: Python - Size: 730 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

KB9/JindoshRiddleSolver

A constraint solver for Dishonored 2's Jindosh Riddle.

Language: JavaScript - Size: 3.32 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

pedronave/chicken-wings

A simple constraint program to solve the most complicated chicken wings menu

Language: Java - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

pedronave/csp-lib-choco

Some CSPLib problems implemented using the Choco Solver

Language: Java - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

norbjd/logic-games-csp

Logic games solver (Sudoku, Fubuki, Garam) using choco-solver

Language: Java - Size: 53.7 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0