Metadata-Version: 2.4
Name: cvc5
Version: 1.1.2
Home-page: https://github.com/cvc5/cvc5
Provides-Extra: test
Requires-Dist: pytest; extra == "test"
Dynamic: description
Dynamic: home-page
Dynamic: provides-extra

Python bindings for cvc5 1.1.2
