Metadata-Version: 2.1
Name: cvc5
Version: 0.0.12
Summary: UNKNOWN
Home-page: https://github.com/cvc5/cvc5
License: BSD-3-Clause
Platform: UNKNOWN

Python bindings for cvc5

