Pinned Loading

1. cvc5/cvc5 cvc5/cvc5 Public

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

   SMT 1.3k 293

2. Z3Prover/z3 Z3Prover/z3 Public

   The Z3 Theorem Prover

   C++ 12.4k 1.7k

3. facebook/rocksdb facebook/rocksdb Public

   A library that provides an embeddable, persistent key-value store for fast storage.

   C++ 31.8k 6.9k

4. alive alive Public

   Forked from nunoplopes/alive

   Alive: Automatic LLVM's Instcombine Verifier

   Python 7