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.5k•11k•158•6•Updated Dec 29, 2024Dec 29, 2024

    • z3prover.github.io

      Public
      Z3 webpage repository
      HTML
      •4•7•1•0•Updated Dec 24, 2024Dec 24, 2024

    • doc

      Public
      Documentation
      SMT
      •
      MIT License
      •14•39•0•0•Updated Dec 6, 2024Dec 6, 2024

    • z3test

      Public
      Test and benchmark repository for Z3.
      SMT
      •
      Other
      •28•25•0•1•Updated Nov 2, 2024Nov 2, 2024

    • 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•102•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