Metadata-Version: 2.1
Name: SATX
Version: 0.3.6
Summary: SAT-X The constraint modeling language for SAT solvers
Home-page: https://twitter.com/maxtuno
Author: Oscar Riveros
License: MIT
Platform: UNKNOWN
License-File: LICENSE

UNKNOWN

