4tXJ7f

alive

Alive: Automatic LLVM's Instcombine Verifier

cvc5

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

cvc4-win64

ddSMT

A delta debugger for SMT benchmarks in SMT-LIB v2.

hammerpass

Hammerspoon script for the pass password manager

ub-canaries

collection of C/C++ programs that try to get compilers to exploit undefined behavior

aws-deployment-pipeline-reference-architecture

Reference architecture for deployment pipelines

aws-satcomp-solver-sample

axelar-docs

Resources & Documentation for Axelar Network

bitcoin-pokemon

CTFP

Constant-Time Floating Point

cvc4-website

docs

dolmen

An OCaml library providing clean and flexible parser for languages used in automated deduction

dummyrepo

haskell-boolector

Haskell bindings for the Boolector SMT solver

homebrew-core

🍻 Default formulae for the missing package manager for macOS

homebrew-cvc4

Homebrew formula for CVC4

LFSC

LFSC Proof Checker

nixpkgs

Nix Packages collection

nvim-config

pysmt

pySMT: A library for SMT formulae manipulation and solving

starexec-utils

symfpu

A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point

test_repo

trace-executor

A simple SMT-LIB v2 trace executor.

wrap_solvers

yellowpaper

The "Yellow Paper": Ethereum's formal specification

z3

The Z3 Theorem Prover

z3test

Test and benchmark repository for Z3.