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 2xnf_solver.