Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
-
Updated
Sep 18, 2026 - Scala
#
cvc5
Here are 15 public repositories matching this topic...
An SMT solver frontend for OCaml
-
Updated
Oct 1, 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
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 30, 2026 - Python
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
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 31, 2026 - Python
A solver-driven reproducible Linux build system using S-expressions, SMT, deterministic DAG execution, and content-addressed artifacts.
go linux golang build-system sexp z3 smt dag reproducible-builds embedded-linux content-addressed-storage constraint-solving cvc5 tilegen
-
Updated
Sep 30, 2026 - Go
Add this topic to your repo
To associate your repository with the cvc5 topic, visit your repo's landing page and select "manage topics."