Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm

Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem

implementing DPLL Algorithm

This repository for implementations of Artificial intelligence algorithms

Solving Wumpus World Problem using Propositional Logic

Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku

A Sudoku solver with a custom DPLL decision procedure.

SAT Solver based on DPLL algorithm and Jersolow-Wang 2-sided heuristic. Sudoku Pair Solver and Generator using SAT Solver.

A collection of scripts by me.

Solucionador de Sudokus usando lógica proposicional, a través de algoritmos como el 'DPLL' y la transformación de 'Tseitin'

🧩 Solver for N-Puzzle & N-Queens using Genetic Algorithms, A*, and more in Python

Implementation of DPLL SAT solver algorithm

Touching upon Search, Propositional Logic, RL, NLP

The repository for a college AI course

Repositório do projeto da disciplina de Lógica para Computação

Given a relationship matrix among guests, output the seating arrangement. The program converts the relationship matrix into CNF clauses and finds a solution (SAT) using DPLL algorithm.

A python implementation of the DPLL algorithm

This program calculates the DPLL Algorithm for you. It is basically a SAT Solver for CNF's. There are three main reasons why I made this program. firstly I wanted to better learn python, secondly I would learn the DPLL algorithm better and thirdly and most importantly I can use it in the exam to gain some time. But I would never do something lik…

A simple SAT solver in python based on DPLL alrorithm. https://en.wikipedia.org/wiki/DPLL_algorithm