Change Log

Version 0.0.x

Added cnftools.transform module
Added cnf pack ...
Added cnf shuffle ...

Version 0.0.2

Unified command-line utilities into cnf
- Added cnf stats ...
- Added cnf simplify ...
- Expanded cnf karps21
Added cnftools.simplify module
Expanded cnftools.karps21 module
Started improving documentation
Added unit tests

Version 0.0.1

December 2, 2018

Initial release

Utility functions
- Saving and loading Dimacs CNF files
- Tseytin transformer
Command-line utilities
- to3cnf
- kcoloring