unit-propagation

Here are 3 public repositories matching this topic...

jaras209 / SAT_solver

Implementation of CDCL SAT solver in Python

formula sat-solver nnf unit-propagation cnf-formula tseitin-encoding cdcl-solver dpll-solver dimacs-format dimacs-formula

Updated Dec 13, 2020
Python

QabasAK / SAT-Solver

Star

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.

backtracking sat-solver cdcl-algorithm conflict-analysis dpll-algorithm manim unit-propagation

Updated Mar 11, 2025
Python

calebnwokocha / Satisfier

Star

This project is a satisfiability checker that works with formulas in conjunctive normal form.

formula literal cnf automated-reasoning satisfiability dpll-algorithm unit-propagation pure-literal-elimination

Updated Nov 29, 2024
Go

Improve this page

Add a description, image, and links to the unit-propagation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the unit-propagation topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly