Metadata-Version: 2.4
Name: CNFgen
Version: 0.9.5a0
Summary: CNF formula generator
Author-email: Massimo Lauria <massimo.lauria@uniroma1.it>
License-Expression: GPL-3.0
Project-URL: Homepage, https://massimolauria.net/cnfgen
Project-URL: Repository, https://github.com/MassimoLauria/cnfgen
Project-URL: Documentation, https://cnfgen.readthedocs.io/en/latest/
Requires-Python: >=3.7
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: networkx>=2.4
Requires-Dist: pydot<4.0.0,>=1.2.3
Dynamic: license-file

# CNFgen formula generator and tools

This repository provides the command

- `cnfgen` formula generator;

and the following python scripts, designed to operate from/to dimacs
CNFs:

- `cnfshuffle` random shuffler;

You  can get  a  brief help  on  how  to use  these  tools by  running
`<program_name> --help` from the command line.

Run `cnfgen --help` to get a list of the implemented formula families.
To get  more specific information  on one  class of formula  use the
command

    cnfgen <formula_type> --help

## Resources

- Webpage of the project at <http://massimolauria.net/cnfgen/>
- Technical documentation <https://cnfgen.readthedocs.io/en/latest/>
- Python Package at <https://pypi.org/project/CNFgen/>
- Github repository <https://github.com/MassimoLauria/cnfgen>
- Zenodo link (DOI) <https://zenodo.org/record/3548843>


Copyright 2012-2025  © Massimo
Lauria ([massimo.lauria@uniroma1.it](mailto:massimo.lauria@uniroma1.it))
