{"library":"pyvcg","title":"PyVCG - Verification Condition Generator","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","last_verified":"Mon Apr 27","install":{"commands":["pip install pyvcg"],"cli":null},"imports":["from pyvcg import Solver","from pyvcg import Literal","from pyvcg import Sort","from pyvcg import Record"],"auth":{"required":false,"env_vars":[]},"quickstart":{"code":"from pyvcg import Solver, Literal, Sort\n\nsolver = Solver()\n# Create a boolean constant\np = Literal('p', Sort.Bool)\nsolver.assert_formula(p)\nresult = solver.check()\nprint(result)","lang":"python","description":"Create a solver, add a boolean assertion, and check satisfiability.","tag":null,"tag_description":null,"last_tested":null,"results":[]},"compatibility":null}