Metadata-Version: 1.0
Name: CNFgen
Version: 0.5.5.2
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
