Metadata-Version: 1.0
Name: PEQNP
Version: 0.2.6
Summary: The PEQNP System its a automatic CNF encoder and SAT Solver for General Constrained Diophantine Equations and NP-Complete Problems, full integrated with Python 3.
Home-page: http://www.peqnp.science
Author: Oscar Riveros
Author-email: contact@peqnp.science
License: copyright (c) 2012-2020 Oscar Riveros. All rights reserved.
Description: UNKNOWN
Platform: UNKNOWN
