#!/usr/bin/env python

__project_name__        = 'CNFgen'
__project_description__ = 'CNF formula generator'

__author__              = 'Massimo Lauria'
__author_email__        = 'massimo.lauria@uniroma1.it'
__aurhor_string__       = __author__ + ' <' + __author_email__ + '>'

__version_short__       = '0.8.4'
__version_long__        = '0.8.4'
__version__             = __version_long__

__copyright__           = '2012-2019 '+ __author__ + ' <' + __author_email__ + '>'
__license__             = 'GPL-3'
__url__                 = 'https://massimolauria.net/cnfgen'
__repo_url__            = 'https://github.com/MassimoLauria/cnfgen'
