Popular repositories Loading

1. z3 z3 Public

   The Z3 Theorem Prover

   C++ 11.1k 1.5k

2. FirewallChecker FirewallChecker Public

   A self-contained firewall checker

   C# 106 14

3. doc doc Public

   Documentation

   SMT 43 14

4. z3test z3test Public

   Test and benchmark repository for Z3.

   SMT 28 29

5. bin bin Public

   Auxiliary repository used to store pre-compiled binary distribution packages of Z3.

   18 10

6. z3prover.github.io z3prover.github.io Public

   Z3 webpage repository

   HTML 7 4