CNF formula generator
Project description
CNFgen formula generator and tools
This repository provides the command
cnfgenformula generator;
and the following python scripts, designed to operate from/to dimacs CNFs:
-
cnfshufflerandom shuffler; -
cnftransformapply litfing or substitution;
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, 2013, 2014, 2015, 2016, 2017, 2018, 2019 © Massimo Lauria (massimo.lauria@uniroma1.it)
Release history Release notifications
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
| Filename, size | File type | Python version | Upload date | Hashes |
|---|---|---|---|---|
| Filename, size CNFgen-0.8.4.1-py3.6.egg (174.9 kB) | File type Egg | Python version 3.6 | Upload date | Hashes View hashes |
| Filename, size CNFgen-0.8.4.1-py3-none-any.whl (86.4 kB) | File type Wheel | Python version py3 | Upload date | Hashes View hashes |
| Filename, size CNFgen-0.8.4.1.tar.gz (71.3 kB) | File type Source | Python version None | Upload date | Hashes View hashes |
