cvc5

There are 0 repository under cvc5 topic.

• classicwuhao / qmaxuse

  QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.

  maxuseverificationumlz3-smt-solverrankinginvariantsmetamodelqueryconcurrentoclqmaxusecvc5
  Language:SMT 10

• abdoo8080 / lean-cvc5

  A Foreign Function Interface (FFI) to cvc5 solver in Lean.

  cvc5lean4smt
  Language:Lean 3

• nicdard / fusion-function-generator

  A generator for Semantic Fusion

  z3cvc5fuzzingsmtsmt-libsmt-solvertestingyinyang
  Language:Python 2

• formalsec / ocaml-cvc5

  OCaml bindings for the cvc5 SMT solver

  cvc5ocaml
  Language:OCaml 1

• dee-tree / CovBoy

  Coverage based SMT-solvers behavior testing

  coveragecoverage-testingcvc5smtz3ksmt
  Language:Kotlin 0