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•11k•147•2•Updated Sep 14, 2025Sep 14, 2025

    • z3prover.github.io

      Public
      Z3 webpage repository
      HTML
      •4•9•1•0•Updated Aug 14, 2025Aug 14, 2025

    • z3test

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

    • doc

      Public
      Documentation
      SMT
      •
      MIT License
      •14•44•0•0•Updated May 10, 2025May 10, 2025

    • PerformanceTest

      Public
      SMT
      •
      Other
      •10•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
      •1•0•0•0•Updated Oct 19, 2022Oct 19, 2022

    • FirewallChecker

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

    • bin

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