Secret-Ambush/Timetable-generator

BPDC Timetable Generator using CSP

Language: Jupyter Notebook - Size: 12.7 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 2 - Forks: 0

thyeem/lot

A wrapper of CSP solver with a domain-specific language

Language: Python - Size: 115 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

maksym-turkot/csp-sudoku-solver

Constraint satisfaction problem (CSP) solver for Sudoku puzzles

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

efsiatras/kakuro-csp-model-solver

Modelling and Solving Kakuro as a Constraint Satisfaction Problem (CSP)

Language: Python - Size: 36.1 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

alex-87/qaekwy-python

Python Client library for Qaekwy Operational Research Solver

Language: Python - Size: 46.9 KB - Last synced at: 21 days ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 1

GhazaleZe/Artificial-Intelligence

codes of my IUT course

Language: Python - Size: 64.5 KB - Last synced at: 22 days ago - Pushed at: about 4 years ago - Stars: 7 - Forks: 1

gglorian/Nacre Fork of crillab/nacre_mini

NACRE : Nogood And Clause Reasoning Engine

Language: C++ - Size: 395 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

jsurrea/pulse_rust

Rust implementation of the Pulse Algorithm

Language: Rust - Size: 4.11 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

pranav-ap/csp-solver

A CSP solver that uses Backtracking and MAC

Language: Python - Size: 35.2 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

asifhaider/Artificial-Intelligence-3-2

Implementation of A* Search, Constraint Satisfaction Problem, Local Search and Knowledge Engineering

Language: Java - Size: 12.6 MB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

NTDuck/csp-solver

A linear C++17-compliant solution to a common variant of Constraint Satisfaction Problems (CSP).

Language: C++ - Size: 84 KB - Last synced at: 9 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

vocheretnyi/class-scheduling-csp

Solving Class Scheduling problem using the CSP method.

Language: C++ - Size: 287 KB - Last synced at: 10 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 1

my-LinkedIn/pe-0345

Problem #345 - Matrix Sum

Size: 103 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

Ash0508/AI-based_Sudoku_Solver_using_CSP_Technique

This project is a Sudoku solver implemented in Java using the Constraint Satisfaction Problem (CSP) approach. It reads a Sudoku puzzle, applies CSP techniques to solve it, and verifies the solution.

Language: Java - Size: 8.79 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

antnatb/k-knights

Project for Artificial Intelligence @ Unifi - Implementation of two solvers based on Backtracking and Maintaining-Arc-Consistency for the K Knights Problem

Language: Python - Size: 271 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

BurhanHussain1/Sudoku-Puzzle-Solver-Python-

Sudoku puzzle solver using ARC-3 and Backtracking Algorithms

Language: Python - Size: 761 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

fz-zsl/CARP

SUSTech CS311 Artificial Intelligence (H, Spring 2024) Project 2

Language: Python - Size: 254 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

eyadashrafkh/labs

Language: Python - Size: 757 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

anthonytedja/sudoku

sudoku is an AI-powered CSP sudoku variant solver for all grid sizes

Language: Python - Size: 94.7 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

fabiancannaheim/sudoku

Sudoko Solver as CSP

Language: Python - Size: 12.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

AlexandruValeanu/Constraint-satisfaction-problems-using-or-tools

Collection of puzzles transformed into constraint satisfaction problems (CSPs) and solved using Google's or-tools

Language: Python - Size: 28.3 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 1

JR-Morgan/Genetic-Algorithm-Framework

A Genetic Algorithm Framework build for comparing evolutionary and genetic algorithms for the Travelling Salesman Problem and the Cutting Stock Problem

Language: C# - Size: 188 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 0

chanioxaris/kenken-solver

Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)

Language: Python - Size: 139 KB - Last synced at: 13 days ago - Pushed at: about 6 years ago - Stars: 20 - Forks: 2

Demenico14/CSP-algorithm-Implementation

Implementation of the CSP algorithm using a Sudoku Solver

Language: Python - Size: 7.81 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

carcassonkp/Sudoku-Solver

Sudoku solver using a brute-force backtracking approach and a CSP approach

Language: Python - Size: 70.3 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

yunyicheng/ConstraintSatisfaction

An AI CSP(Constraint Satisfaction Problem) solver for FunPuzz puzzles.

Language: Python - Size: 201 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

duongtruongbinh/Cryptarithmetic-Problem

Cryptarithmetic Problem Solving using CSP

Language: Python - Size: 63.5 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

zahrasalarian/CSP-Sudoku

CSP-Sudoku solver

Language: Python - Size: 19.7 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

alesordo/Covering-Salesman-Problem Fork of aleama98/Covering-TravellingSalesmanProblem

CSP solver, using different approaches

Language: Python - Size: 104 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Techatonic/part-ii-project

Multi-sport Tournament Scheduler

Language: Python - Size: 567 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

VissaMoutafis/RLFAP-Solver

Classic CSP Algorithms to solve RLFAP

Language: Python - Size: 214 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 0

vtramo/python-algorithms

This repository contains various Python algorithms that cover a wide range of problem-solving scenarios.

Language: Python - Size: 24.4 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

matsuda0528/ravensat

SAT Solver Interface in Ruby

Language: Ruby - Size: 139 KB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 2

super-m-a-n/csp-algorithms-for-rlfap

Implementation of constraint satisfaction problem algorithms to solve the radio link frequency assignment problem - rlfap

Language: Python - Size: 112 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

StevenSalazarM/CSP-Sudoku-Solver

Constraint Satisfaction Problem (CSP) solver for Sudoku with a graphical interface through python

Language: Python - Size: 404 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 9

sandervandorsten/csp-solver

Pretty awesome generic sudoku solver that is faster that you will ever be.

Language: Python - Size: 1.69 MB - Last synced at: about 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

sandervandorsten/sudoku-csp-solver

Pretty awesome generic sudoku solver that is faster that you will ever be.

Language: Python - Size: 712 KB - Last synced at: about 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 3

BretVH/Zappos-Engineering-Challenge-

Code for the Software Engineering College Intern position Challenge. This code tries to retrieve n-items whose total value is greater than 95% of the value of the amount the user would like to spend and less than 105% of the amount the user desired to spend, by solving a CSP. DESCRIPTION: When giving gifts, consumers usually keep in mind two variables - cost and quantity. In order to facilitate better gift-giving on the Zappos website, the Software Engineering team would like to test a simple application that allows a user to submit two inputs: N (desired # of products) and X (desired dollar amount). The application should take both inputs and leverage the Zappos API (http://developer.zappos.com/docs/api-documentation) to create a list of Zappos products whose combined values match as closely as possible to X dollars. For example, if a user entered 3 (# of products) and $150, the application would print combinations of 3 product items whose total value is closest to $150.‏

Language: Java - Size: 1.77 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

MahmoudHussienMohamed/AC3-CPP-Crossword-Solver

C++ Crossword Solver using AC3 and Back Track Algorithms.

Language: C++ - Size: 164 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

Kalana99/190530H-Time-Table-Assign-CSP

Constraint Satisfaction Problem: Backtracking algorithm to schedule time slots and rooms for a given set of subjects.

Language: Python - Size: 7.04 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

mguenther/csp-solver-scala

Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the original Java version. Features Sudoku as an example application.

Language: Scala - Size: 29.3 KB - Last synced at: about 2 years ago - Pushed at: almost 9 years ago - Stars: 9 - Forks: 2

theoden8/sh-project

Joint (Maths & Computer Science) Senior Honours project on Graph Homomorphisms.

Language: Python - Size: 17.3 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

danilonumeroso/csp-solver

General Class + backtracking for solving any kind of CSPs

Language: TypeScript - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

massykezzoul/csp-experimentation

Ce projet s'attache à mettre en place des optimisations au resolveur de CSP.

Language: Java - Size: 1.01 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

hudavn/AI-Project-01

Cryptarithmetic Problem in AI

Language: Python - Size: 994 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 1

mguenther/csp-solver-java

Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Java-based solution which is written in a functional programming style. Features Sudoku as an example application.

Language: Java - Size: 22.5 KB - Last synced at: about 2 years ago - Pushed at: almost 9 years ago - Stars: 2 - Forks: 2

jphmrst/scala-search

Search algorithm implementations in Scala

Language: Scala - Size: 39.1 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

luizsci42/Organizador-de-Horarios-AIMA-PSR

Language: Java - Size: 660 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

tzxb018/csp-solver

This is a Java based CSP solver that uses different search algorithms to find consistent solutions to the CSP

Language: Java - Size: 231 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

Mogady/AI-Algorithms-with-R

Implementation for some AI algorithms with R for my college assignments

Language: R - Size: 197 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

NH0/CSP_solver

A constraint programming solver, relying on a backtrack paired with look forward algorithms.

Language: C++ - Size: 145 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

alinadirkhanloo/sudoku

solving sudoku problems with csp

Language: Python - Size: 10.7 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0

nomaanakhan/CSP-Solver

Implemented a constraint satisfaction problem solver using backtracking and forward checking.

Language: Python - Size: 5.86 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

gabrielhdt/ocspbt

Constraint satisfaction problem solver in ocaml using backtrack methods -- moved to gitlab

Language: OCaml - Size: 34.2 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

NiloofarShahbaz/Sudoku-Csp

Solving Sudoku puzzle with CSP

Language: Python - Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

Ignotus/uva-knowledge-representation

Knowledge Representation Assignments (SAT solver, CSP solver, Qualitative Reasoning)

Language: Jupyter Notebook - Size: 11.9 MB - Last synced at: about 2 years ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

violetguos/AI_Pacman

🅰️I

Language: Python - Size: 1.6 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0