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;
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)
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.5.post1.tar.gz
(80.3 kB
view hashes)
Built Distributions
CNFgen-0.8.5.post1-py3.7.egg
(204.0 kB
view hashes)
Close
Hashes for CNFgen-0.8.5.post1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b623028ce47e34bc26d16ccb0e68b6fdea5364abb448b84f64abbe29b95432bf |
|
MD5 | 4bdbca945e1f72422d7be094119a2825 |
|
BLAKE2b-256 | 8ac86e3356b688c5a9c10e8aa3bbd9d546b5525dd3d60ebbf009b62ad5225ea3 |