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
Release history Release notifications | RSS feed
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)
Built Distribution
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
Algorithm | Hash digest | |
---|---|---|
SHA256 | 56b5a3eea7519515dd121eaaeb73e4b46c784e489387f58bae213f4be10e6cff |
|
MD5 | 839e1473c53dc7dddefd217a1081125a |
|
BLAKE2b-256 | 4e5d72f06946149a2b68c2a4ee707a3420755c8128e49d34e03467f2ba5e75c0 |
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
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4f4229c78441fff69649c5665101ec635a10c323881882db39a0e77892219e77 |
|
MD5 | 69beb9fb969556b36b3494b973733ef6 |
|
BLAKE2b-256 | 4fff10dfb70dbebea8b06014c8892632689b55bf54dd467120b395bb99d56ec4 |