Skip to content

@Z3Prover Z3 Theorem Prover

Change the repository type filter

All

    Repositories list

    10 repositories

    • z3

      Public
      The Z3 Theorem Prover
      C++
      •
      Other
      •1.6k•12k•144•13•Updated May 1, 2026May 1, 2026

    • z3test

      Public
      Test and benchmark repository for Z3.
      SMT
      •
      Other
      •30•27•0•1•Updated Mar 17, 2026Mar 17, 2026

    • z3prover.github.io

      Public
      Z3 webpage repository
      HTML
      •4•10•0•1•Updated Feb 19, 2026Feb 19, 2026

    • a3-python-skill

      Public archive
      Repository for a3-python skill
      MIT License
      •0•1•0•0•Updated Feb 18, 2026Feb 18, 2026

    • doc

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

    • PerformanceTest

      Public
      SMT
      •
      Other
      •8•5•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•110•3•0•Updated Oct 4, 2021Oct 4, 2021

    • bin

      Public
      Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
      8•18•0•0•Updated Jun 7, 2019Jun 7, 2019
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.