cvc5/cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

GitHub repository with 1,313 stars and 290 forks.

Language: SMT

Open provider repository

Latest metric snapshot

2026-06-05: 1,313 stars and 290 forks.

Similar repositories

  1. 1. PL-ML/code2inv

    Code2Inv: Learning Loop Invariants for Program Verification

    GitHub repository with 104 stars and 22 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: SMT

    Topics: program-verification, graph-neural-, loop-invariant-generation

Trending in SMT

  1. 1. PL-ML/code2inv

    Code2Inv: Learning Loop Invariants for Program Verification

    GitHub repository with 104 stars and 22 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: SMT

    Topics: program-verification, graph-neural-, loop-invariant-generation