#

nnf

Here are 4 public repositories matching this topic...

QuMuLab / python-nnf

Manipulate NNF (Negation Normal Form) logical sentences

python logic dimacs nnf

Updated Dec 13, 2022
Python

bauhaus

QuMuLab / bauhaus

Build logical theories for SAT solvers on the fly

logic constraints sat nnf propositional-logic-encodings propositional-variables

Updated Sep 11, 2024
Python

night-crawler / nnf

Negation Normal Form manipulation library

cnf tseitin-transformation nnf

Updated Apr 19, 2023
Rust

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

Improve this page

Add a description, image, and links to the nnf 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 nnf topic, visit your repo's landing page and select "manage topics."