PyVCG - Verification Condition Generator
JSON →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.
Traffic · last 30 days ↓40% vs prev 7d
total hits 15
actors 5 distinct systems
last hit 1d ago AhrefsBot
top countries 🇺🇸 United States · 🇨🇦 Canada · 🇬🇧 United Kingdom
Resources
packagepypi.org/project/pyvcg/ ↗