Metadata-Version: 2.1
Name: eznf
Version: 0.1.2
Summary: A library for easily encoding problems into SAT
Home-page: UNKNOWN
Author: Bernardo Subercaseaux
License: UNKNOWN
Platform: UNKNOWN
License-File: LICENSE

UNKNOWN

