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