cnfformula.utils.cnfshuffle module

Cnf formulas shuffling.

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'])