Metadata-Version: 1.0
Name: SATX
Version: 0.3.4
Summary: SAT-X The constraint modeling language for SAT solvers
Home-page: http://www.sat-x.io
Author: Oscar Riveros
Author-email: oscar.riveros@peqnp.science
License: MIT
Description: UNKNOWN
Platform: UNKNOWN
