Top 13 z3 open source projects

Symbolic execution tool

✭ 2,599

python solidity Jinja c shell WebAssembly security testing blockchain ethereum emulation binary-analysis program-analysis symbolic-execution smt z3

gauntlet

Finding bugs in P4 compilers using translation validation.

✭ 23

P4 python shell p4c z3 p4 translation-validation

Casper

A compiler for automatically re-targeting sequential Java code to Apache Spark.

✭ 45

java Lex spark compiler z3 synthesis dafny

grilops

a GRId LOgic Puzzle Solver library

✭ 29

python sudoku-solver z3 constraint-solver puzzle-solver puzzle-hunt puzzle-generator z3py

intrepid

Intrepyd Model Checker

✭ 14

python java ANTLR c pypi z3 model-checking formal-methods automated-tests smt-solver formal-verification model-checker

z3 tutorial

Jupyter notebooks for tutorial on the Z3 SMT solver

✭ 117

Jupyter Notebook tutorial jupyter z3 formal-methods smt smt-solver

mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

✭ 16

JetBrains MPS Roff Promela HTML Batchfile c prism architecture z3 spin gsn nusmv stpa contract-based-design requirements-specification safety-assurance interface-specification

vim-smt2

A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

✭ 35

Vim Script syntax-highlighting vim-plugin smtlib z3 smt

haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).

✭ 48

haskell shell api z3 smt

TSNsched

Automated Schedule Generation for Time-Sensitive Networks (TSN).

✭ 46

java shell schedule network z3 formal-methods

z3-wasm

Scripts and Javascript Glue code to use Z3 in the browser using WASM

✭ 11

javascript python shell c HTML Makefile Nix webassembly z3

easy z3

Using z3's never been easier (maybe)

✭ 94

python z3

z3-mode

An interactive development environment for SMT-LIB files and Z3

✭ 20

emacs lisp satsolver smtlib smtlibv2 z3

1-13 of 13 z3 projects