Metadata-Version: 2.4
Name: cvc5
Version: 1.3.3
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
License-File: COPYING
License-File: licenses/GCC-exception-3.1.txt
License-File: licenses/apache-2.0-with-llvm-exceptions.txt
License-File: licenses/gpl-3.0.txt
License-File: licenses/lgpl-3.0.txt
License-File: licenses/minisat-LICENSE
License-File: licenses/pythonic-LICENSE
Dynamic: license-file

Python bindings for cvc5
