Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Z3 Open Source Projects

Open source projects categorized as Z3
Categories > Z3
Manticore ⭐ 3,371
Symbolic execution tool
dependent packages 1total releases 723most recent commit 7 days agopypi manticore} Downloads
Crosshair ⭐ 843
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 28most recent commit 2 months agopypi crosshair-tool} Downloads
Stainless ⭐ 315
Verification framework and tool for higher-order Scala programs
most recent commit 2 days ago
Jfs ⭐ 204
Constraint solver based on coverage-guided fuzzing
most recent commit 4 years ago
Universalrop ⭐ 193
Small tool for generating ropchains using unicorn and z3
most recent commit 5 years ago
Z3_and_angr_binary_analysis_workshop ⭐ 174
Code and exercises for a workshop on z3 and angr
most recent commit 2 years ago
Yinyang ⭐ 148
A fuzzing framework for SMT solvers
total releases 4most recent commit a month ago
Easy_z3 ⭐ 89
Using z3's never been easier (maybe)
most recent commit a year ago
Haskell Z3 ⭐ 51
Haskell bindings to Microsoft's Z3 API (unofficial).
total releases 12most recent commit 2 months ago
Casper ⭐ 45
A compiler for automatically re-targeting sequential Java code to Apache Spark.
most recent commit 5 months ago
Grilops ⭐ 45
a GRId LOgic Puzzle Solver library
total releases 18most recent commit 16 hours ago
Tsnsched ⭐ 38
Automated Schedule Generation for Time-Sensitive Networks (TSN).
most recent commit 10 months ago
Z3overlay ⭐ 33
An overlay for the OCaml Z3 binding.
most recent commit 5 months ago
Vim Smt2 ⭐ 33
A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
most recent commit a year ago
Gauntlet ⭐ 31
Finding bugs in P4 compilers using translation validation.
most recent commit a month ago
Z3 Rkt ⭐ 22
Racket bindings for Z3
most recent commit 4 years ago
Z3.linq ⭐ 20
LINQ bindings for the Z3 theorem prover from Microsoft Research.
dependent packages 1total releases 4most recent commit 17 days agonuget Z3.Linq} Downloads
Z3 Python Ctf ⭐ 20
🐍 Solving CTF challenges using Z3 and Python
most recent commit 2 months ago
Z3 Mode ⭐ 18
An interactive development environment for SMT-LIB files and Z3
most recent commit a year ago
Mbeddr.formal ⭐ 16
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
most recent commit 2 months ago
Nus Timetable Optimizer ⭐ 15
Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to their liking.
most recent commit 9 months ago
Intrepid ⭐ 13
Intrepyd Model Checker
most recent commit a year ago
Cegis ⭐ 12
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
most recent commit 6 years ago
The 3 Most Depended On Z3 Open Source Projects
Crosshair ⭐ 843
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 28latest release June 22, 2022most recent commit 2 months agopypi crosshair-tool} Downloads
Manticore ⭐ 3,371
Symbolic execution tool
dependent packages 1total releases 723latest release July 07, 2022most recent commit 7 days agopypi manticore} Downloads
Z3.linq ⭐ 20
LINQ bindings for the Z3 theorem prover from Microsoft Research.
dependent packages 1total releases 4latest release February 15, 2022most recent commit 17 days agonuget Z3.Linq} Downloads
The 6 Latest Releases In Z3 Open Source Projects
Manticore ⭐ 3,371
Symbolic execution tool
dependent packages 1total releases 723latest release July 07, 2022most recent commit 7 days agopypi manticore} Downloads
Crosshair ⭐ 843
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 28latest release June 22, 2022most recent commit 2 months agopypi crosshair-tool} Downloads
Z3.linq ⭐ 20
LINQ bindings for the Z3 theorem prover from Microsoft Research.
dependent packages 1total releases 4latest release February 15, 2022most recent commit 17 days agonuget Z3.Linq} Downloads
Yinyang ⭐ 148
A fuzzing framework for SMT solvers
total releases 4latest release August 18, 2021most recent commit a month ago
Grilops ⭐ 45
a GRId LOgic Puzzle Solver library
total releases 18latest release January 14, 2021most recent commit 16 hours ago
Haskell Z3 ⭐ 51
Haskell bindings to Microsoft's Z3 API (unofficial).
total releases 12latest release May 13, 2018most recent commit 2 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2023 Awesome Open Source.  All rights reserved.