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;
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)
1 maintainer
Release files for CNFgen 0.9.6
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| cnfgen-0.9.6.tar.gz | 144.2 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| cnfgen-0.9.6-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 300.0 kB
Release files / cnfgen-0.9.6.tar.gz
| Download URL | cnfgen-0.9.6.tar.gz |
|---|---|
| Size | 144.2 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
7dea5495d8f59ef5fe596ffc7cedb280c8bcec937ac01fc5ef2ad6e928210e80
|
|
BLAKE2b-256 checksum How to use checksums |
c0432fd228735b98f3e8c957f6868a60aea8f7ac1a7753237f678924a75abfa3
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.3
|
Release files / cnfgen-0.9.6-py3-none-any.whl
| Download URL | cnfgen-0.9.6-py3-none-any.whl |
|---|---|
| Size | 155.7 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
a0ce5015e166fc079cdbb0d656d8797274021b0c9d58852d8f3971748e64f95c
|
|
BLAKE2b-256 checksum How to use checksums |
c62af959f582940b7d0a3efa75ef5d4f48218d8757fbb4c2b6bf40e2771ff887
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.12.3
|
