Skip to content

@Z3Prover Z3 Theorem Prover

Change the repository type filter

All

    Repositories list

    9 repositories

    • z3

      Public
      The Z3 Theorem Prover
      C++
      •
      Other
      •1.6k•12k•160•6•Updated Dec 20, 2025Dec 20, 2025

    • z3prover.github.io

      Public
      Z3 webpage repository
      HTML
      •4•10•0•1•Updated Dec 19, 2025Dec 19, 2025

    • z3test

      Public
      Test and benchmark repository for Z3.
      SMT
      •
      Other
      •29•28•0•1•Updated Dec 12, 2025Dec 12, 2025

    • doc

      Public
      Documentation
      SMT
      •
      MIT License
      •16•45•0•0•Updated Nov 2, 2025Nov 2, 2025

    • PerformanceTest

      Public
      SMT
      •
      Other
      •8•4•0•2•Updated Jul 9, 2024Jul 9, 2024

    • pyodide

      Public archive
      Pyodide build action
      0•2•0•0•Updated Jan 20, 2023Jan 20, 2023

    • .github

      Public
      Default Community Health Files for the organization
      MIT License
      •0•0•0•0•Updated Oct 19, 2022Oct 19, 2022

    • FirewallChecker

      Public
      A self-contained firewall checker
      C#
      •
      MIT License
      •13•108•3•0•Updated Oct 4, 2021Oct 4, 2021

    • bin

      Public
      Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
      9•18•0•0•Updated Jun 7, 2019Jun 7, 2019