xnf

There are 0 repository under xnf topic.

• j-danner / 2xnf_sat_solving

  Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'

  algebraic-normal-formcnfsat-solvingxnfsat
  4

• j-danner / 2xnf_solver

  Graph-based DPLL-SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).

  dpllgraphsat-solverxnf
  Language:C++ 2

• Wrazlmumfp / anf_to_2xnf

  Python tool for converting ANF to (2-)XNF.

  anfboolean-satisfiabilitysat-solvingxnf
  Language:Python 2