Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms' - View it on GitHub