Propositional formula generation for common arithmetic operations - View it on GitHub