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

A collection of scripts by me.

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.

Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku

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

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

Implementation of DPLL SAT solver algorithm

Touching upon Search, Propositional Logic, RL, NLP

a set of Boolean logic functions and SAT solvers

C++ SAT solver using DPLL and CDCL algorithms to solve Boolean SAT problems supporting pure literal elimination, unit propagation, clause learning, and non-chronological backtracking.

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

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…

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

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