PyVCG - Verification Condition Generator

library 1.0.10 ·python

✓ verified Jul 3, 2026

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 stale · no recent hits · indexed Mon Apr 27 · updated Sat Jul 11

total hits 17

actors 6 distinct systems

last hit 16d ago AhrefsBot

GPTBot

4

ClaudeBot

2

Script

1

Search engines

1

Humans

4

top countries 🇺🇸 United States · 🇨🇦 Canada · VN · PH · HK

Resources

docsgithub.com/pages/florianschanda/PyVCG/ ↗

githubgithub.com/florianschanda/PyVCG ↗

packagepypi.org/project/pyvcg/ ↗

API endpoints

full doc /v1/registry/pyvcg

install /v1/registry/pyvcg/install

compatibility /v1/registry/pyvcg/compatibility