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;
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)
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
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
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
|
