Metadata-Version: 1.2
Name: CNFgen
Version: 0.8.4
Summary: CNF formula generator
Home-page: https://massimolauria.net/cnfgen
Author: Massimo Lauria
Author-email: massimo.lauria@uniroma1.it
License: GPL-3
Description: UNKNOWN
Platform: UNKNOWN
Requires-Python: >=3.4
