Metadata-Version: 1.0
Name: pyices
Version: 0.2
Summary: Python bindings for the Yices SMT solver
Home-page: UNKNOWN
Author: George Karpenkov
Author-email: UNKNOWN
License: UNKNOWN
Description: UNKNOWN
Platform: UNKNOWN
