Metadata-Version: 2.1
Name: cvc5
Version: 1.2.1
Summary: Python bindings for cvc5
License: BSD-3-Clause AND LGPL-3.0-or-later AND MIT
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/gpl-3.0.txt
License-File: licenses/lgpl-3.0.txt
License-File: licenses/minisat-LICENSE
License-File: licenses/pythonic-LICENSE
License-File: licenses/winpthreads-LICENSE

Python bindings for cvc5
