Skip to main content

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

Copyright 2012-2025 © Massimo Lauria (massimo.lauria@uniroma1.it)

Project details


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)

Uploaded Source

Built Distribution

cnfgen-0.9.5-py3-none-any.whl (152.2 kB view details)

Uploaded Python 3

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

Hashes for cnfgen-0.9.5.tar.gz
Algorithm Hash digest
SHA256 70462bdc0edee8ecd696ec004f3bf2714bab5879aebc27e2909675008d7cc2f0
MD5 0be5b20f3b5e5df132e4e73733d9376a
BLAKE2b-256 7c4160715eb2e92be7192b5dee1e5bd3a0b133bc9b7e9fd369040cc003bc807c

See more details on using hashes here.

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

Hashes for cnfgen-0.9.5-py3-none-any.whl
Algorithm Hash digest
SHA256 483eb9483050f09b43d126321a7260b1b5dd4cbd1e39db2c3e1e39f7ff66e1b1
MD5 749a1f93e7671f398d33907e18dc5cb4
BLAKE2b-256 f47b45564c59bfb5c9deba94bf1bceaa3e5840ce279303ea494ec3a3992e5b09

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page