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,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 7 months agopypi manticore} Downloads
Crosshair ⭐ 924
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 45most recent commit 3 months agopypi crosshair-tool} Downloads
Stainless ⭐ 339
Verification framework and tool for higher-order Scala programs
most recent commit 4 months ago
Jfs ⭐ 236
Constraint solver based on coverage-guided fuzzing
most recent commit 5 months ago
Universalrop ⭐ 193
Small tool for generating ropchains using unicorn and z3
most recent commit 6 years ago
Z3_and_angr_binary_analysis_workshop ⭐ 174
Code and exercises for a workshop on z3 and angr
most recent commit 3 years ago
Yinyang ⭐ 148
A fuzzing framework for SMT solvers
total releases 4most recent commit a year ago
Easy_z3 ⭐ 89
Using z3's never been easier (maybe)
most recent commit 2 years ago
Tsnsched ⭐ 69
Automated Schedule Generation for Time-Sensitive Networks (TSN).
most recent commit 10 months ago
Grilops ⭐ 54
a GRId LOgic Puzzle Solver library
total releases 22most recent commit 5 months ago
Haskell Z3 ⭐ 54
Haskell bindings to Microsoft's Z3 API (unofficial).
total releases 12most recent commit a year ago
Casper ⭐ 47
A compiler for automatically re-targeting sequential Java code to Apache Spark.
most recent commit 10 months ago
Vim Smt2 ⭐ 36
A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
most recent commit a year ago
Gauntlet ⭐ 33
Finding bugs in P4 compilers using translation validation.
most recent commit 7 months ago
Z3overlay ⭐ 33
An overlay for the OCaml Z3 binding.
most recent commit 2 years ago
Z3.linq ⭐ 28
LINQ bindings for the Z3 theorem prover from Microsoft Research.
dependent packages 1total releases 4most recent commit 4 months agonuget Z3.Linq} Downloads
Z3 Python Ctf ⭐ 26
🐍 Solving CTF challenges using Z3 and Python
most recent commit 10 months ago
Eda_tools ⭐ 24
A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator.
most recent commit 10 months ago
Z3 Rkt ⭐ 22
Racket bindings for Z3
most recent commit 5 years ago
Mbeddr.formal ⭐ 21
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
most recent commit 4 months ago
Nus Timetable Optimizer ⭐ 18
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 3 months ago
Z3 Mode ⭐ 18
An interactive development environment for SMT-LIB files and Z3
most recent commit 2 years ago
Nikoli Puzzle Solver ⭐ 18
Solver for over 100 types of Nikoli-style logic puzzles
most recent commit 3 months ago
The 3 Most Depended On Z3 Open Source Projects
Crosshair ⭐ 924
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 45latest release November 10, 2023most recent commit 3 months agopypi crosshair-tool} Downloads
Z3.linq ⭐ 28
LINQ bindings for the Z3 theorem prover from Microsoft Research.
dependent packages 1total releases 4latest release February 15, 2022most recent commit 4 months agonuget Z3.Linq} Downloads
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
The 8 Latest Releases In Z3 Open Source Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
Crosshair ⭐ 924
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 45latest release November 10, 2023most recent commit 3 months agopypi crosshair-tool} Downloads
Auto Cryptanalysis ⭐ 9
Automated cryptanalysis of substitution permutation network cipher
total releases 3latest release August 27, 2023most recent commit 8 months ago
Grilops ⭐ 54
a GRId LOgic Puzzle Solver library
total releases 22latest release August 12, 2023most recent commit 5 months ago
Z3.linq ⭐ 28
LINQ bindings for the Z3 theorem prover from Microsoft Research.
dependent packages 1total releases 4latest release February 15, 2022most recent commit 4 months agonuget Z3.Linq} Downloads
Intrepid ⭐ 13
Intrepyd Model Checker
total releases 37latest release November 25, 2021most recent commit 2 years ago
Yinyang ⭐ 148
A fuzzing framework for SMT solvers
total releases 4latest release August 18, 2021most recent commit a year ago
Haskell Z3 ⭐ 54
Haskell bindings to Microsoft's Z3 API (unofficial).
total releases 12latest release May 13, 2018most recent commit a year 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-2024 Awesome Open Source.  All rights reserved.