{"categories":[{"label":"Mathematics","url":"https://skillfed.io/packages/category/scientific-engineering-mathematics/2"}],"enrichment":{"capability":"cvc5 is a satisfiability modulo theories (SMT) solver that determines whether first-order logic formulas are satisfiable under combinations of theories; it provides Python bindings to use the solver as a library.","skillfed_tags":["formal-verification","constraint-solving","automated-reasoning"],"use_cases":["Verify correctness of software by encoding program properties as first-order formulas and checking satisfiability","Solve constraint satisfaction problems in planning, scheduling, or configuration domains","Perform automated reasoning and theorem proving for mathematical or logical assertions","Debug or analyze symbolic execution traces in program analysis tools","Validate hardware designs or protocol specifications expressed in logic"],"what_it_does":"cvc5 is the fifth generation of the Cooperating Validity Checker family, a C++-based SMT solver designed to determine satisfiability of first-order logic formulas under various theories. The Python bindings expose this solver as a library, allowing developers to programmatically construct formulas, assert constraints, and query satisfiability.\n\nIt is intended for formal verification, automated reasoning, constraint solving, and theorem proving tasks. The package is actively maintained, has no Python runtime dependencies (the solver itself is compiled), and provides wheels for modern Python versions and multiple platforms. It is suitable for both standalone use and integration into larger verification or analysis tools.","worth_installing":"Yes, if you need SMT solving or automated reasoning. cvc5 is actively maintained, has no Python dependencies, installs via precompiled wheels on common platforms, and carries no known vulnerabilities. The main caveat is that license treatment is unclear in the metadata\u2014verify BSD 3-Clause terms apply to your use case before deploying in proprietary software."},"id":"cvc5","links":{"html":"https://skillfed.io/packages/cvc5","md":"https://skillfed.io/packages/cvc5.md","pypi":"https://pypi.org/project/cvc5/"},"maintenance":{"status":"active"},"meta":{"latest_release":"2026-05-07","license_spdx":null,"license_treatment":"unclear","name":"cvc5","python_support":"unspecified","summary":"Python bindings for cvc5 (BSD version)"},"popularity":{"monthly_downloads":296099,"position":7905,"tier":"top_15000"},"security":{"n_vulnerabilities":0},"version":"1.3.4"}