Metadata-Version: 2.4
Name: cvc5
Version: 1.3.2
Summary: Python bindings for cvc5
Project-URL: Homepage, https://cvc5.github.io/
Project-URL: Documentation, https://cvc5.github.io/docs/
Project-URL: Repository, https://github.com/cvc5/cvc5
Project-URL: Issues, https://github.com/cvc5/cvc5/issues
Project-URL: Changelog, https://github.com/cvc5/cvc5/blob/main/NEWS.md
Description-Content-Type: text/plain

Python bindings for cvc5
