Metadata-Version: 1.2
Name: CNFgen
Version: 0.7.3
Summary: CNF formula generator
Home-page: https://massimolauria.github.io/cnfgen
Author: Massimo Lauria
Author-email: lauria.massimo@gmail.com
License: GPL-3
Description: UNKNOWN
Platform: UNKNOWN
Requires-Python: >=2.7,<3.0
