Metadata-Version: 1.0
Name: SATX
Version: 0.0.6
Summary: PEQNP Mathematical Solver from http://www.peqnp.com
Home-page: http://www.peqnp.com
Author: Oscar Riveros
Author-email: contact@peqnp.com
License: copyright (c) 2012-2021 Oscar Riveros. All rights reserved.
Description: UNKNOWN
Keywords: csp,mip,cnf,sat,diophantine
Platform: UNKNOWN
