{"library":"cvc5","type":"library","category":null,"description":"Python bindings for cvc5, an efficient automatic theorem prover for Satisfiability Modulo Theories (SMT). Current version 1.3.3. Release cadence: irregular, ~3 major versions per year.","language":"python","status":"active","version":"1.3.3","tags":["SMT","theorem prover","solver","verification","cvc5"],"install":[{"cmd":"pip install cvc5","imports":["from cvc5.pythonic import Solver"]}],"homepage":"https://cvc5.github.io/","github":"https://github.com/cvc5/cvc5","docs":"https://cvc5.github.io/docs/","changelog":"https://github.com/cvc5/cvc5/blob/main/NEWS.md","pypi":"https://pypi.org/project/cvc5/","npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":{"summary":{"python_range":"3.10–3.9","success_rate":50,"avg_install_s":2,"avg_import_s":0.1,"wheel_type":"wheel"},"url":"https://checklist.day/v1/registry/cvc5/compatibility"},"provenance":{"verified_status":"passing","verified_at":"Sun Jun 28","last_verified":"Sun Jun 28","next_check":"Tue Jul 28","install_tag":null}}