Metadata-Version: 2.1
Name: CNFgen
Version: 0.9.1
Summary: CNF formula generator
Home-page: https://massimolauria.net/cnfgen
Author: Massimo Lauria
Author-email: massimo.lauria@uniroma1.it
License: GPL-3
Platform: UNKNOWN
Requires-Python: >=3.6
Description-Content-Type: text/markdown
License-File: LICENSE

# 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-2020  © Massimo
Lauria ([massimo.lauria@uniroma1.it](mailto:massimo.lauria@uniroma1.it))


