Metadata-Version: 1.0
Name: CNFgen
Version: 0.5.3.1
Summary: CNF formula generator
Home-page: https://github.com/MassimoLauria/cnfgen
Author: Massimo Lauria
Author-email: lauria@kth.se
License: GPL-3
Description: UNKNOWN
Platform: UNKNOWN
