CNF formula generator
Project description
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; -
cnftransform
apply 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)
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
CNFgen-0.8.4.1.tar.gz
(71.3 kB
view hashes)
Built Distributions
CNFgen-0.8.4.1-py3.6.egg
(174.9 kB
view hashes)
CNFgen-0.8.4.1-py3-none-any.whl
(86.4 kB
view hashes)