The following features have proven to be useful and should be implemented before the first release: 1. Formula trimming for A and B 2. Reuse of Tseitin variables 3. Depth based clause deduplication (maybe)
The following features have proven to be useful and should be implemented before the first release: