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.)