Metadata-Version: 2.1
Name: CircuitSAT
Version: 0.0.3
Summary: A Circuit SAT Assembler that emit CNF code.
Home-page: https://twitter.com/maxtuno
Author: Oscar Riveros
License: MIT
Platform: UNKNOWN
License-File: LICENSE

UNKNOWN

