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-2025 © 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.9.5.tar.gz
(139.7 kB
view details)
Built Distribution
cnfgen-0.9.5-py3-none-any.whl
(152.2 kB
view details)
File details
Details for the file cnfgen-0.9.5.tar.gz
.
File metadata
- Download URL: cnfgen-0.9.5.tar.gz
- Upload date:
- Size: 139.7 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.3
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 |
70462bdc0edee8ecd696ec004f3bf2714bab5879aebc27e2909675008d7cc2f0
|
|
MD5 |
0be5b20f3b5e5df132e4e73733d9376a
|
|
BLAKE2b-256 |
7c4160715eb2e92be7192b5dee1e5bd3a0b133bc9b7e9fd369040cc003bc807c
|
File details
Details for the file cnfgen-0.9.5-py3-none-any.whl
.
File metadata
- Download URL: cnfgen-0.9.5-py3-none-any.whl
- Upload date:
- Size: 152.2 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.3
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 |
483eb9483050f09b43d126321a7260b1b5dd4cbd1e39db2c3e1e39f7ff66e1b1
|
|
MD5 |
749a1f93e7671f398d33907e18dc5cb4
|
|
BLAKE2b-256 |
f47b45564c59bfb5c9deba94bf1bceaa3e5840ce279303ea494ec3a3992e5b09
|