cbfredster/boolean-logic

a set of Boolean logic functions and SAT solvers

Language: Python - Size: 6.84 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 0

MatiasBrizzio/N-AI

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

Language: Python - Size: 370 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 1

AskarAbdullaev/pylogex

Python utilities for studying logic including Finite Automata, Oracles, Kripke Structures, Process Algebra, LTL, CTL, Petri Nets, Propositional Logic, BCP, DPLL, Resolution, Blocked Clauses, Equational Reasoning, Term Matching, Term Reduction, Critical Pairs, Knuth-Bendix Completion, etc.

Language: Jupyter Notebook - Size: 1.51 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

QabasAK/SAT-Solver

SAT solver using DPLL and CDCL algorithms to solve Boolean SAT problems supporting pure literal elimination, unit propagation, clause learning, and non-chronological backtracking. Benchmarked using SATLIB test cases, with performance evaluated through runtime analysis

Language: Python - Size: 15.9 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

MaxBRheinl/SAT-Solver

Sat-Solver is a Prolog program that converts propositional logic formulas into CNF and solves them using the DPLL algorithm. It processes logical expressions and applies unit propagation, clause simplification, and variable branching. The project was mainly built to improve skills in Prolog.

Language: Prolog - Size: 4.88 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

erohkohl/n-queens-sat

Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.

Language: Rust - Size: 16.3 MB - Last synced at: 29 days ago - Pushed at: almost 8 years ago - Stars: 7 - Forks: 1

snsinfu/dpll-sat

Naïve SAT solver implementing the classic DPLL algorithm

Language: Rust - Size: 536 KB - Last synced at: 29 days ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

limo1996/SAT-Solver

Parallel SAT Solver

Language: C++ - Size: 23.2 MB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 1

HJyup/sudoku-solver

Haskell-based application that solves Sudoku puzzles using the DPLL

Language: Haskell - Size: 15.6 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

PolinaSavelyeva/MySat 📦

Simple console SAT-solver that utilizes DPLL algorithm and DIMACS input format

Language: F# - Size: 37.1 KB - Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

davidgonmar/sat-ts

A DPLL-based SAT solver written in TypeScript, powered by Bun.

Language: TypeScript - Size: 1.67 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

saifkhichi96/basic-sat

BasicSAT is a very limited and naive SAT Solver written in Python.

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

mmz33/DPLL-SAT-Solver

Implementation of DPLL SAT solver algorithm

Language: Python - Size: 820 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

abdulsmapara/Artificial-Intelligence-Assignments 📦

Solutions to Travelling Salesman Problem and the SAT problem using Artificial Intelligence (AI)

Language: C++ - Size: 15.6 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

eprovst/CompleSAT

A Simple SAT Solver

Language: Go - Size: 28.3 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

pavel-r-georgiev/tree-search-algorithms

:deciduous_tree: Implementation of tree search algorithms dealing with satisfiability of propositional logic sentences

Language: Haskell - Size: 3.55 MB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

atulshgl/SAT-CNF

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.

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

marcluque/YASER

Yet Another Sat solvER

Language: C - Size: 23.9 MB - Last synced at: 4 days ago - Pushed at: 29 days ago - Stars: 4 - Forks: 0

j-christl/DpllSatSolver

Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm

Language: Java - Size: 10.7 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 0

torland-klev/sat-solver 📦

Automatically checks whether a given propositional formula is satisfiable.

Language: Java - Size: 41 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

armanhbi/DPLLAlgorithm

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 like this of course! So have fun!

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

swapnil-ahlawat/Wumpus-World

Solving Wumpus World Problem using Propositional Logic

Language: Python - Size: 95.7 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 3

hhoikoo00/hs-knowledge

A library written in Haskell that determines whether a logical argument is valid through either Model Checking or DPLL Algorithm

Language: Haskell - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

private-yusuke/sat-d 📦

A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム

Language: D - Size: 1.17 MB - Last synced at: 4 days ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 0

CyaCoan/SAT_Solver_Twodoku

Nothing more than a SAT Solver and a Twodoku Game

Language: C - Size: 3.92 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

eduardohrez/Algoritmo_DPLLC-

dpll algorithm implementation c ++

Language: C++ - Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

oldgalileo/satsolver

C++ implementation of the DPLL Algorithm

Language: C++ - Size: 16.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 8 - Forks: 0

zyx-billy/dpll-sat

A DPLL-based SAT solver focused on traceability

Language: C++ - Size: 29.3 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

marcmelis/dpll-sat

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

Language: Python - Size: 4.28 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 11 - Forks: 3

MorrisonCole/dpll-solver

A simple Haskell-based DPLL solver that reads and writes to standard input/output.

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

baptiste-fourmont/dpll

An implementation of a recursive DPLL solver in OCaml. It parses setup (cnf ) DIMACS and checks if the formula is satisfied.

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

safwankdb/SAT-Solver-using-DPLL

Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem

Language: Python - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 7

dakotawong/SAT-Solver

Boolean SAT Solver implemented using the C++ Standard Library

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

RoundofThree/python-scripts

A collection of scripts by me.

Language: Python - Size: 7.05 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

sukrutrao/SAT-Solver-DPLL

A simple SAT solver that implements the DPLL algorithm with unit resolution

Language: C++ - Size: 1.59 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 37 - Forks: 20

Billy1900/DPLL-Algorithm

华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem

Language: C++ - Size: 370 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 28 - Forks: 7

tortis/elm-sat

A simple DPLL SAT solver in Elm

Language: Elm - Size: 22.5 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

liloheinrich/Sudoku

Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku

Language: Python - Size: 7.51 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

Icegrave0391/SAT-DPLL

2019CourseDesign

Language: C - Size: 166 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 0

nicolasAmat/Sudoku_Solver

A Sudoku solver with a custom DPLL decision procedure.

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

toanphan19/tiny-sat

A SAT solver using DPLL algorithm.

Language: Java - Size: 181 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

RetamalVictor/SAT_Solver

This project studies the effect of an Intelligent Heuristic in combination with the DPLL algorithm to solve Sudokus.

Language: Jupyter Notebook - Size: 1.13 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

Huy0720/2D-Project

CEC-SAT Verifier, Optimized 32-Bit Full Adder & 2-SAT Solver

Language: Java - Size: 347 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

francoisschwarzentruber/dpll

Demonstration of DPLL + backjumping (learning clauses)

Language: JavaScript - Size: 1.71 MB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

Shreyasi2002/SAT_Solver___Sudoku

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

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

KoredeAkande/CS152-Harnessing-Artificial-Intelligence-Algorithms

Select coding assignments and exercises from the CS152: Harnessing Artificial Intelligence Algorithms class, taken in Fall 2020

Language: Jupyter Notebook - Size: 1.88 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Cheng-Lin-Li/AI

This repository for implementations of Artificial intelligence algorithms

Language: Python - Size: 60.5 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 2

uncttao/par-DPLL

A (parallel) implementation of the classic DPLL algorithm using Cilk

Language: C++ - Size: 1.12 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

GavinPHR/SAT-with-Haskell

Haskell Implementation of DPLL + Sudoku with SAT

Language: Haskell - Size: 2.22 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

jcwleo/DPLL-Algorithm

implementing DPLL Algorithm

Language: Python - Size: 91.8 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 2

AnsgarKlein/DPLL-SAT-Solver

Implementation of the DPLL algorithm for solving the satisfiability problem of propositional logic

Language: C - Size: 175 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

DaveAlsina/SudokuSolver

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

Language: Python - Size: 1.12 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

ritu-thombre99/Solving-CNF-SAT-using-DPLL

This program checks if an input CNF is satisfiable or not to check logical entailment.

Language: Jupyter Notebook - Size: 666 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

dchandak99/SAT_Solvers

Language: Jupyter Notebook - Size: 27.3 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

JianyuTANG/SAT-Solver

A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.

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

imandra-ai/abstract-transition-systems

[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration

Language: OCaml - Size: 229 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

SatyendraBanjare/Satisfy

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

Language: Python - Size: 4.88 KB - Last synced at: 8 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

ashenoy95/ai

Touching upon Search, Propositional Logic, RL, NLP

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

ShaswataJash/satisfiability-problem

Boolean satisfiability problem (SAT), maximum satisfiability problem (MAX-SAT) etc

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

fabianokafor369/DPLL-algorithm

A python implementation of the DPLL algorithm

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

limo1996/ProgramVerification1

Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms

Language: SMT - Size: 4.78 MB - Last synced at: 24 days ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

DanielRodCha/SAT-DPLL

DPP and DPLL algorithms

Language: Haskell - Size: 124 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0