{"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"],"last_verified":"Mon Apr 27","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":null}