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
#
cvc5
Here are 14 public repositories matching this topic...
Python algorithm extending cvc5, with up to 7.8x speedup for QF_NIA
-
Updated
Dec 27, 2025 - Jupyter Notebook
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
query uml verification metamodel ranking concurrent invariants ocl maxuse z3-smt-solver qmaxuse cvc5
-
Updated
Apr 18, 2023 - SMT
An SMT solver frontend for OCaml
-
Updated
Aug 25, 2026 - OCaml
Natural deduction proof generator & checker
python math logic theorem-proving prover fitch natural-deduction modal-logic theorem-prover fitch-proofs proof-checker cvc5
-
Updated
Aug 19, 2026 - Python
Static precondition checker for numerical JAX programs: declare a box, get a stamped VERIFIED/REFUTED/UNKNOWN with a runnable witness. Zero required dependencies.
python static-analysis scientific-computing z3 interval-arithmetic smt smt-solver formal-verification preconditions abstract-interpretation jax numerical-computing cvc5
-
Updated
Aug 25, 2026 - Python
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."