cvc5
Here are 14 public repositories matching this topic...
A Visual Studio Code extension for editing and executing SMT-LIB 2 (.smt2) scripts using the cvc5 and WebAssembly (WASM) build.
-
Updated
Jul 10, 2026 - TypeScript
Static precondition checker for numerical JAX programs: declare a box, get a stamped VERIFIED/REFUTED/UNKNOWN with a runnable witness. Zero required dependencies.
-
Updated
Aug 25, 2026 - Python
Python algorithm extending cvc5, with up to 7.8x speedup for QF_NIA
-
Updated
Dec 27, 2025 - Jupyter Notebook
Natural deduction proof generator & checker
-
Updated
Aug 19, 2026 - Python
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
-
Updated
Apr 18, 2023 - SMT
An SMT solver frontend for OCaml
-
Updated
Aug 25, 2026 - OCaml
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
-
Updated
Aug 20, 2026 - Scala
Improve this page
Add a description, image, and links to the cvc5 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cvc5 topic, visit your repo's landing page and select "manage topics."