GitHub topics: xnf
j-danner/2xnf_sat_solving
Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'
Size: 60 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 5 - Forks: 0
j-danner/2-Xornado
Graph-based DPLL-SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).
Language: C++ - Size: 590 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 4 - Forks: 0
Wrazlmumfp/anf_to_2xnf
Python tool for converting ANF to (2-)XNF.
Language: Python - Size: 3.5 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
