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-2020 © 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.2.tar.gz (120.8 kB view hashes)

Uploaded Source

Built Distributions

CNFgen-0.9.2-py3.10.egg (330.7 kB view hashes)

Uploaded Source

CNFgen-0.9.2-py3-none-any.whl (151.9 kB view hashes)

Uploaded Python 3

Supported by

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