sympy/sympy — pull request #8495 by ayonix (2014-11-21 12:49:31+00:00)
Title: Added Tseitin transformation

Still todo:
- [ ] Doctests
- [ ] Benchmarks

Later
- [ ] Further optimization

The Tseitin transformation was faster / terminating in reasonable time for the formulas we used in our project while preserving the count of
satisfying assignments.