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.