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

Project details

Release history Release notifications | RSS feed

This version

0.9.3.post1

Apr 11, 2024

0.9.2

May 11, 2023

0.9.1

Dec 12, 2022

0.9.0

Oct 12, 2020

0.8.7

Aug 8, 2020

0.8.6

Aug 5, 2020

0.8.5.post1

Aug 3, 2020

0.8.5

Jul 27, 2020

0.8.4.1

Nov 25, 2019

0.8.4

Nov 25, 2019

0.8.4b0 pre-release

Nov 25, 2019

0.8.3

Nov 22, 2019

0.8.2

Jun 25, 2019

0.8.1

Jun 24, 2019

0.8.0

Jun 22, 2019

0.7.3

Aug 28, 2018

0.7.1

Sep 25, 2016

0.7.0

Aug 24, 2016

0.6.0.2

Aug 10, 2016

0.6.0.1

Aug 10, 2016

0.6.0.0

Jul 9, 2016

0.5.5.2

May 27, 2016

0.5.5.1

May 26, 2016

0.5.5.0

Feb 10, 2016

0.5.4.5

Aug 19, 2015

0.5.4.4

Jun 18, 2015

0.5.4.3

Jun 15, 2015

0.5.4.2

Jun 13, 2015

0.5.4.1

Jun 12, 2015

0.5.4.0

Jun 12, 2015

0.5.3.3

Apr 23, 2015

0.5.3.2

Apr 21, 2015

0.5.3.1

Mar 2, 2015

0.5.2.2

Feb 19, 2015

0.5.2.1

Feb 18, 2015

0.5.1.1

Feb 13, 2015

0.5.1

Feb 12, 2015

0.5

Feb 12, 2015

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.3.post1.tar.gz (139.3 kB view details)

Uploaded Apr 11, 2024 Source

Built Distribution

CNFgen-0.9.3.post1-py3-none-any.whl (152.0 kB view details)

Uploaded Apr 11, 2024 Python 3

File details

Details for the file CNFgen-0.9.3.post1.tar.gz.

File metadata

Download URL: CNFgen-0.9.3.post1.tar.gz
Upload date: Apr 11, 2024
Size: 139.3 kB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: twine/5.0.0 CPython/3.12.1

File hashes

Hashes for CNFgen-0.9.3.post1.tar.gz
Algorithm	Hash digest
SHA256	`7ce09e8749a416d16ddc2563b0859a50533a4a45ef764199b2c0ffeadd44faba`
MD5	`04046a729110eef13e84bcfb1fec984b`
BLAKE2b-256	`712ff24ea38a48a81995c3c51cd27580d9a21db84ecbe3cf5ff74d61fbac982e`

See more details on using hashes here.

File details

Details for the file CNFgen-0.9.3.post1-py3-none-any.whl.

File metadata

Download URL: CNFgen-0.9.3.post1-py3-none-any.whl
Upload date: Apr 11, 2024
Size: 152.0 kB
Tags: Python 3
Uploaded using Trusted Publishing? No
Uploaded via: twine/5.0.0 CPython/3.12.1

File hashes

Hashes for CNFgen-0.9.3.post1-py3-none-any.whl
Algorithm	Hash digest
SHA256	`19245ec984ee700b8e34f480bd0ad63ac21f447250253cfa5cdf0c921bb19998`
MD5	`e8dc6f8f05d29fd23279478571f1a038`
BLAKE2b-256	`37e0072d77d90b9f34e2180b3d50db04e0f40c3e859505131f7b8533e5add3ce`