|
SMT |
2 |
Resources for the SL-COMP 2018 edition |
Jul 07, 2021 |
|
SMT |
4 |
Specification synthesizer based on CHC/SyGuS. Supports Maximality and Non-Vacuity constraints. |
Jan 19, 2022 |
|
SMT |
4 |
None |
Jul 25, 2022 |
|
SMT |
4 |
A constraint solver abstraction layer for Java |
Jul 20, 2022 |
|
SMT |
4 |
None |
Mar 16, 2022 |
|
SMT |
5 |
Internal Logic Analyser for FPGA Projects |
Jun 05, 2022 |
|
SMT |
9 |
A case for the Icebreaker FPGA board |
Jul 17, 2020 |
|
SMT |
633 |
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. |
Jul 14, 2022 |
|
SMT |
643 |
CAD files for various boards, components and parts |
Aug 08, 2022 |
|
SMT |
2 |
Regular CHC solver |
Aug 31, 2021 |
|
SMT |
93 |
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point … |
Apr 14, 2023 |
|
SMT |
11 |
A translation verifier for Reopt (https://github.com/GaloisInc/reopt) |
Jan 30, 2023 |
|
SMT |
4 |
Multi-platform binary creation for solvers of the versions most suitable for use with What4 |
Feb 16, 2023 |
|
SMT |
64 |
Learning to Solve SMT Formulas Fast |
Apr 19, 2023 |
|
SMT |
17 |
Compact hyperdrive for up to 16 independently movable electrodes |
May 16, 2021 |
|
SMT |
3 |
Multi-purpose BNC input/output board |
Apr 14, 2022 |
|
SMT |
2 |
Functional program verification problems, as caml programs and as Horn clauses. |
Jun 06, 2022 |
|
SMT |
2 |
Starterkit for a Machine Shop |
Dec 01, 2020 |
|
SMT |
2 |
Starterkit for a Mix Workspace |
Nov 23, 2021 |
|
SMT |
3 |
Benchmarks for apalache |
Apr 07, 2022 |
|
SMT |
3 |
Different ways to solve a problem using different languages |
Apr 16, 2021 |
|
SMT |
18 |
Learn how to make a custom WisBlock Sensor or IO module. Share your custom boards … |
Sep 09, 2022 |
|
SMT |
21 |
Test and benchmark repository for Z3. |
Jul 24, 2022 |
|
SMT |
24 |
None |
Jul 25, 2022 |
|
SMT |
27 |
A CHC-based Automated Verification Tool for Rust |
Jul 17, 2022 |
|
SMT |
76 |
None |
Jun 04, 2022 |
|
SMT |
127 |
Collection of Eagle projects for targets, interfaces, shields and more |
Sep 04, 2022 |
|
SMT |
131 |
DEPRECATED mbed HDK - This repository is not being maintained. For the latest updates, please … |
Aug 31, 2022 |
|
SMT |
153 |
Precious Plastic Downloadpack |
Aug 10, 2022 |
|
SMT |
9 |
Dual Gate Driver for IGBT or SIC modules |
Aug 30, 2022 |
|
SMT |
3 |
None |
Aug 10, 2022 |
|
SMT |
92 |
Tools for Yul. |
Oct 20, 2022 |
|
SMT |
320 |
The Yices SMT Solver |
Mar 27, 2023 |
|
SMT |
3 |
None |
Apr 11, 2023 |
|
SMT |
2 |
Collection of CHC benchmarks in the format of CHC-COMP |
Apr 13, 2023 |
|
SMT |
2 |
None |
Nov 07, 2022 |
|
SMT |
16 |
SMT-LIB benchmarks for shape computations from deep learning models in PyTorch |
Apr 04, 2023 |
Modest-Probabilistic-Models-for-NoC
|
SMT |
2 |
None |
Oct 31, 2022 |
|
SMT |
3 |
Formal verification of the popular BokkyPooBah's DateTimeLibrary |
Mar 20, 2023 |
|
SMT |
4 |
Hi everyone, This repository contains 3D model of my take on Nanoleaf rhythm which I … |
Jan 16, 2022 |
|
SMT |
89 |
Open Thermocycler Implementation |
Apr 15, 2023 |
|
SMT |
2 |
AE-solver and Skolemizer |
Nov 21, 2019 |
|
SMT |
3 |
PCB Design files and other hardware artifacts from ATMakers.org |
Sep 29, 2022 |
|
SMT |
38 |
[research] A modular SMT solver in OCaml, based on mcSAT |
Mar 16, 2023 |
|
SMT |
3 |
Book for Quip, a proof format for first-order and higher-order theorem provers |
Mar 02, 2023 |
|
SMT |
21 |
A modular library for CDCL(T) SMT solvers, with [wip] proof generation. |
Dec 19, 2022 |
|
SMT |
16 |
A Fast Floating-Point Satisfiability Solver |
Feb 27, 2023 |
|
SMT |
6 |
A modular SMT solver in OCaml, based on mcSAT |
Jan 15, 2022 |
|
SMT |
4 |
SMTLIB syntax highlighting for Sublime Text 3 |
May 10, 2023 |
|
SMT |
2 |
WEEDINATOR agricultural robot files |
Apr 21, 2019 |