cnftools

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

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install cnftools

Releases

Version Released Buster
Python 3.7
Bullseye
Python 3.9
Bookworm
Python 3.11
Files
0.0.2 2018-12-07    
0.0.1 2018-12-02    

Issues with this package?

Page last updated 2023-10-28 05:13:52 UTC