Search credible GitHub repositories.

CAD files for various boards, components and parts

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

SRI Yices SMT Solver

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

The Renaissance Benchmark Suite

JavaSMT - Unified Java API for SMT solvers.

Automated Reasoning in Nonlinear Theories of Reals

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

Precious Plastic Downloadpack

Tools for Yul.

No repository description provided.

Update to Eustathios with a little bit of HercuLien Design Changes

The Eldarica model checker

Code2Inv: Learning Loop Invariants for Program Verification

Learning to Solve SMT Formulas Fast

RustHorn: A CHC-based automated verifier for Rust

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

Implementation of higher-order logic in Python

A low-cost GPS module for Nikon DSLRs

There is a new version of dReal, available at https://github.com/dreal/dreal4

The CafeSat SMT solver for Scala

No repository description provided.

Scala library for parsing and printing the SMT-LIB format

Documentation

Learn how to make a custom WisBlock Sensor or IO module. Share your custom boards here.

No repository description provided.

Benchmarks for SyGuS Competition (SyGuS-Comp)

Ghosts of Departed Proofs

WEEDINATOR agricultural robot files

run z3 on iOS for some reason