Z3 Theorem Prover (original) (raw)

Skip to content

Navigation Menu

• • GitHub Copilot Write better code with AI
  • GitHub Models New Manage and compare prompts
  • GitHub Advanced Security Find and fix vulnerabilities
  • Actions Automate any workflow
  • Codespaces Instant dev environments
  • Issues Plan and track work
  • Code Review Manage code changes
  • Discussions Collaborate outside of code
  • Code Search Find more, search less
• Explore
  • Learning Pathways
  • Events & Webinars
  • Ebooks & Whitepapers
  • Customer Stories
  • Partners
  • Executive Insights
• • GitHub Sponsors Fund open source developers
  • The ReadME Project GitHub community articles
• • Enterprise platform AI-powered developer platform
• Pricing

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

• Overview
• Repositories
• Projects
• Packages
• People

Popular repositories Loading

1. A self-contained firewall checker
   C# 106 14
2. doc doc Public
   Documentation
   SMT 44 14
3. Test and benchmark repository for Z3.
   SMT 28 29
4. bin bin Public
   Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
   18 10
5. Z3 webpage repository
   HTML 7 4

Repositories

Type

Select type

All Public Sources Forks Archived Mirrors Templates

Language

Select language

All C# C++ HTML SMT

Sort

Select order

Last updated Name Stars

Showing 9 of 9 repositories

• z3 Public
  The Z3 Theorem Prover
  Z3Prover/z3’s past year of commit activity
• Z3Prover/doc’s past year of commit activity
  SMT
  44
  MIT
  14 0 0
  Updated May 10, 2025
• z3test Public
  Test and benchmark repository for Z3.
  Z3Prover/z3test’s past year of commit activity
  SMT
  28 29 0 1
  Updated Jan 15, 2025
• Z3Prover/z3prover.github.io’s past year of commit activity
  HTML
  7 4 1 0
  Updated Dec 24, 2024
• Z3Prover/PerformanceTest’s past year of commit activity
  SMT
  4 10 0 2
  Updated Jul 9, 2024
• pyodide Public archive
  Pyodide build action
  Z3Prover/pyodide’s past year of commit activity
  2
  0
  0 0
  Updated Jan 20, 2023
• .github Public
  Default Community Health Files for the organization
  Z3Prover/.github’s past year of commit activity
  0 MIT
  1 0 0
  Updated Oct 19, 2022
• Z3Prover/FirewallChecker’s past year of commit activity
  C#
  106
  MIT
  14 3 0
  Updated Oct 4, 2021
• bin Public
  Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
  Z3Prover/bin’s past year of commit activity

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…