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;

  • cnftransform apply litfing or substitution;

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, 2013, 2014, 2015, 2016, 2017, 2018, 2019 © 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.

Files for CNFgen, version 0.8.4.1
Filename, size File type Python version Upload date Hashes
Filename, size CNFgen-0.8.4.1-py3.6.egg (174.9 kB) File type Egg Python version 3.6 Upload date Hashes View hashes
Filename, size CNFgen-0.8.4.1-py3-none-any.whl (86.4 kB) File type Wheel Python version py3 Upload date Hashes View hashes
Filename, size CNFgen-0.8.4.1.tar.gz (71.3 kB) File type Source Python version None Upload date Hashes View hashes

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page