Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for smt solver
smt-solver
x
37 search results found
Yices2
⭐
345
The Yices SMT Solver
Z3.rs
⭐
294
Rust bindings for the Z3 solver.
Esbmc
⭐
221
The efficient SMT-based context-bounded model checker (ESBMC)
Z3_and_angr_binary_analysis_workshop
⭐
174
Code and exercises for a workshop on z3 and angr
Yinyang
⭐
148
A fuzzing framework for SMT solvers
Toysolver
⭐
145
My sandbox for experimenting with solver algorithms.
Dreal4
⭐
142
Automated Reasoning in Nonlinear Theories of Reals
Msat
⭐
96
A modular sat/smt solver with proof output.
Go Z3
⭐
92
Go (golang) bindings to the Z3 SMT Solver
Schmitty
⭐
81
Agda bindings to SMT-LIB2 compatible solvers.
Eldarica
⭐
70
The Eldarica model checker
Metasmt
⭐
40
Key
⭐
33
KeY Theorem Prover for Deductive Java Verification
Gymbo
⭐
29
gradient-based symbolic execution engine implemented from scratch
Ostrich
⭐
28
An SMT Solver for string constraints
Ksmt
⭐
28
Kotlin/Java API for various SMT solvers
Sidekick
⭐
23
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
Z3 Rkt
⭐
22
Racket bindings for Z3
Princess
⭐
17
The Princess Theorem Prover
Gosat
⭐
14
SMT solver for the theory of floating-point arithmetic
Cubicle
⭐
13
The Cubicle model checker
Witan
⭐
13
An ocaml implementation of conflict-driven reasoning
Intrepid
⭐
13
Intrepyd Model Checker
Fasta Region Inspector
⭐
12
A bioinformatics tool for analyzing somatic hypermutation
Cegis
⭐
12
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
Starchild
⭐
11
F* library for verifying neural networks.
Modulus
⭐
10
A constraint solver built from scratch in OCaml
Machsmt
⭐
10
MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
Nlambda
⭐
10
Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.
Mcsatan
⭐
8
A diabolic implementation of mcSAT 😈
Plt Formal Methods Resources
⭐
7
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
Yices2_python_bindings
⭐
7
Python bindings for yices2
Realsyn
⭐
7
Automated Controller Synthesis
Atpg4sv
⭐
7
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
Coq Smt Check
⭐
6
Invoke SMT solvers from Coq to check obligations
Applied Verification Lab Neural Networks
⭐
6
Some tutorials for different approaches to verify neural networks.
Lazuli
⭐
5
Liquid Haskell library for verifying neural networks.
Related Searches
Z3 Smt Solver (7)
1-37 of 37 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.