cnfformula.utils.dimacstransform module¶
CNF transformation, it increases the hardness of a CNF.
This is the implementation of a command line utility that transform CNF files in DIMACS format into new CNFs
Utilities to apply to a dimacs CNF file, a transformation which increase the hardness of the formula
Accept a cnf in dimacs format in input
-
command_line_utility
(argv=['/home/docs/checkouts/readthedocs.org/user_builds/cnfgen/envs/stable/bin/sphinx-build', '-T', '-b', 'readthedocs', '-d', '_build/doctrees-readthedocs', '-D', 'language=en', '.', '_build/html'])¶
-
setup_command_line
(parser)¶ Setup general command line options
Arguments: - parser: parser to fill with options
-
signal_handler
(insignal, frame)¶