/2xnf_sat_solving

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

2xnf_sat_solving

Source code for our paper SAT Solving Using XOR-OR-AND Normal Forms.

Implementations for the ANF->XNF conversion algorithms (of Section 3) can be found in anf_to_2xnf; implementations for the graph-based XNF solving algorithm (of Section 4) in 2-Xornado.

(The submodules can be downloaded via git submodule update --init.)