Cnftools

Latest version: v0.0.2

Safety actively analyzes 681790 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

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

0.0.1

-------------

December 2, 2018

Initial release

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

Links

Releases

Has known vulnerabilities

© 2024 Safety CLI Cybersecurity Inc. All Rights Reserved.