Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
-
Updated
Jul 14, 2026 - Scala
#
cvc5
Here are 10 public repositories matching this topic...
An SMT solver frontend for OCaml
-
Updated
Jul 15, 2026 - OCaml
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
Python algorithm extending cvc5, with up to 7.8x speedup for QF_NIA
-
Updated
Dec 27, 2025 - Jupyter Notebook
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
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."