Z3Prover/z3

The Z3 Theorem Prover

Language: C++ - Size: 126 MB - Last synced: about 18 hours ago - Pushed: about 20 hours ago - Stars: 9,751 - Forks: 1,441

Z3Prover/doc

Documentation

Language: SMT - Size: 615 MB - Last synced: 3 days ago - Pushed: 27 days ago - Stars: 35 - Forks: 14

Z3Prover/FirewallChecker

A self-contained firewall checker

Language: C# - Size: 4.24 MB - Last synced: 3 days ago - Pushed: over 2 years ago - Stars: 96 - Forks: 13

Z3Prover/z3test

Test and benchmark repository for Z3.

Language: SMT - Size: 3.54 MB - Last synced: 3 days ago - Pushed: 5 months ago - Stars: 23 - Forks: 29

Z3Prover/z3prover.github.io

Z3 webpage repository

Language: HTML - Size: 199 MB - Last synced: 3 days ago - Pushed: 9 months ago - Stars: 5 - Forks: 4

Z3Prover/pyodide

Pyodide build action

Size: 12.7 KB - Last synced: 3 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

Z3Prover/.github

Default Community Health Files for the organization

Size: 3.91 KB - Last synced: 3 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

Z3Prover/PerformanceTest

Language: SMT - Size: 20.9 MB - Last synced: 3 days ago - Pushed: 19 days ago - Stars: 5 - Forks: 10

Z3Prover/bin

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

Size: 808 MB - Last synced: 3 days ago - Pushed: almost 5 years ago - Stars: 17 - Forks: 9