48 Open source projects that are alternatives of or similar to haskell-z3

Symbolic execution tool

Jupyter notebooks for tutorial on the Z3 SMT solver

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

CLP(SMT) on top of miniKanren

Transpiler of Python to many other languages

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

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

This plugin allows you to configure email notifications for build results

Targoman SMT framework source code

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

Using z3's never been easier (maybe)

A simple (unfinished) SMT solver for QF_ABV.

An interactive development environment for SMT-LIB files and Z3

prototyping logic programming in Scala

Finding bugs in P4 compilers using translation validation.

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

a GRId LOgic Puzzle Solver library

Intrepyd Model Checker

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

The Yices SMT Solver

Verification framework and tool for higher-order Scala programs

Automatic verification of LLVM optimizations

APALACHE: symbolic model checker for TLA+

A Proof-oriented Programming Language

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

Precious Plastic Downloadpack

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Better parametric search for components available for JLC PCB assembly

Update to Eustathios with a little bit of HercuLien Design Changes

mbed HDK - This repository is not being maintained. For the latest updates, please use: https://github.com/ARMmbed/mbed-HDK-Eagle-Projects

Deep Blockchains - reference implementation of Plasma, Stark, SMT and more

Collection of Eagle projects for targets, interfaces, shields and more

JavaSMT - Unified Java API for SMT solvers.

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.

SMT Solver for Nonlinear Theories of Reals

Liquid Types For Haskell

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

CAD files for various boards, components and parts

pySMT: A library for SMT formulae manipulation and solving

Simple Theorem Prover, an efficient SMT solver for bitvectors

"SAT/SMT by example" free ebook

SMACK Software Verifier and Verification Toolchain

A Go library that implements a Sparse Merkle tree for a key-value map.

Kryptonite for Kafka is a client-side 🔒 field level 🔓 crypto library for Apache Kafka® currently focused on Kafka Connect scenarios. It's an ! UNOFFICIAL ! community project

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

Synthesis of Heap-Manipulating Programs from Separation Logic