nnf

There are 0 repository under nnf topic.

• QuMuLab / python-nnf

  Manipulate NNF (Negation Normal Form) logical sentences

  pythonnnflogicdimacs
  Language:Python 17
• bauhaus

  QuMuLab / bauhaus

  Build logical theories for SAT solvers on the fly

  constraintslogicnnfpropositional-logic-encodingspropositional-variablessat
  Language:Python 6

• jaras209 / SAT_solver

  Implementation of CDCL SAT solver in Python

  nnfformulatseitin-encodingsat-solvercdcl-solverdpll-solverdimacs-formatdimacs-formulacnf-formulaunit-propagation
  Language:Python 1

• night-crawler / nnf

  Negation Normal Form manipulation library

  cnfnnftseitin-transformation
  Language:Rust 1