Software related to PhD Thesis "Extending SAT Solver with Parity Reasoning"