Skip to main content

A collection of tools for working with and generating Dimacs CNF files.

Project description

A collection of tools for working with and generating Dimacs CNF files.

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

cnftools-0.0.1.tar.gz (4.4 kB view details)

Uploaded Source

Built Distribution

cnftools-0.0.1-py3-none-any.whl (5.3 kB view details)

Uploaded Python 3

File details

Details for the file cnftools-0.0.1.tar.gz.

File metadata

  • Download URL: cnftools-0.0.1.tar.gz
  • Upload date:
  • Size: 4.4 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.19.1 setuptools/39.1.0 requests-toolbelt/0.8.0 tqdm/4.23.4 CPython/3.7.0

File hashes

Hashes for cnftools-0.0.1.tar.gz
Algorithm Hash digest
SHA256 56b5a3eea7519515dd121eaaeb73e4b46c784e489387f58bae213f4be10e6cff
MD5 839e1473c53dc7dddefd217a1081125a
BLAKE2b-256 4e5d72f06946149a2b68c2a4ee707a3420755c8128e49d34e03467f2ba5e75c0

See more details on using hashes here.

File details

Details for the file cnftools-0.0.1-py3-none-any.whl.

File metadata

  • Download URL: cnftools-0.0.1-py3-none-any.whl
  • Upload date:
  • Size: 5.3 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.19.1 setuptools/39.1.0 requests-toolbelt/0.8.0 tqdm/4.23.4 CPython/3.7.0

File hashes

Hashes for cnftools-0.0.1-py3-none-any.whl
Algorithm Hash digest
SHA256 4f4229c78441fff69649c5665101ec635a10c323881882db39a0e77892219e77
MD5 69beb9fb969556b36b3494b973733ef6
BLAKE2b-256 4fff10dfb70dbebea8b06014c8892632689b55bf54dd467120b395bb99d56ec4

See more details on using hashes here.

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