COmpact SOlver for COnstrained problems

KLEE Symbolic Execution Engine

Generic Constraint Development Environment

BTD/RBO solver

General meta-Heuristic Optimization Solving Toolkit

Repositório destinado ao armazenamento e compartilhamento de códigos desenvolvidos na disciplina de Inteligência Artificial do Curso de Bacharelado em Ciências da Computação.

This project aims to show how to solve a given Sudoku in two different ways, through Backtracking (in a flavour of Forward Checking) and Relaxation Labeling.

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

A Room Generator based on a CSP Solver

🔢 A parallelized Sudoku solver implemented with various solving algorithms in C++

cpp AC3 algorithm implementation

A C++ implementation of a CSP for solving sudoku

A C++ Implementation of a CSP to solve the N queens problem showing all possible arrangements for any N( integer)

Sudoku solver solves a partially solved sudoku using simple backtrack or forward checking.

Finds a solution for a given partially complete quasigroup (latin square). This code was written as a part of CSE318: Artificial Intelligence Sessional course work.

🛒 CSP solver that generates an optimal grocery list

About.com April'2009 Programming Challenge 24 - MineSweeper Redux

Fast constraint satisfaction problem solver.

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

A simple partial unweighted MaxSAT Solver that uses a Minisat backbone