[Minor] Improvements
- [+] Parallel execution of deflate phase (thro...
[Minor] Nicer output
Output results in 2 column layout for easy comp...
- Massive speed-up of input deflation (e.g. fro...
[Minor] Refactoring
- Improved diagnosis output
[+] When showing results, reconstruct duplicate...
[+] When showing results, backtrack duplicate's...
[+] Basic tests
[Minor] Structured config, diagnosis.
[Logistics]
[Logistics]
[Logistics]
Prototype.