{"library":"pyvcg","type":"library","category":null,"description":"A Python library for generating verification conditions (VCs) from an intermediate language (IL) and emitting SMTLIB or interacting with solvers like CVC5 and Z3. Current version 1.0.10, supports Python 3.8+. Release cadence: irregular, with several minor releases in 2023-2024.","language":"python","status":"active","version":"1.0.10","tags":["verification","smt","vcg","cvc5","formal-methods"],"install":[{"cmd":"pip install pyvcg","imports":["import pyvcg"]}],"homepage":null,"github":"https://github.com/florianschanda/PyVCG","docs":"https://github.com/pages/florianschanda/PyVCG/","changelog":null,"pypi":"https://pypi.org/project/pyvcg/","npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":{"summary":{"python_range":"3.10–3.9","success_rate":100,"avg_install_s":1.7,"avg_import_s":null,"wheel_type":"wheel"},"url":"https://checklist.day/v1/registry/pyvcg/compatibility"},"provenance":{"verified_status":"passing","verified_at":"Fri Jul 03","last_verified":"Fri Jul 03","next_check":"Sun Aug 02","install_tag":null}}