Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with smt-solver
A curated list of projects in awesome lists tagged with smt-solver .
https://github.com/SRI-CSL/yices2
The Yices SMT Solver
sat-solver satisfiability satisfiability-modulo-theories smt-solver theorem-prover
Last synced: 02 Aug 2024
https://github.com/prove-rs/z3.rs
Rust bindings for the Z3 solver.
ffi-bindings logic-programming rust rust-bindings smt smt-solver
Last synced: 03 Aug 2024
https://github.com/FSecureLABS/z3_and_angr_binary_analysis_workshop
Code and exercises for a workshop on z3 and angr
angr binary-analysis reverse-engineering smt-solver workshop z3
Last synced: 03 Aug 2024
https://github.com/satyendrabanjare/plt-formal-methods-resources
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.
coq entrepreneurship formal-methods formal-verification ideas ideasworthsharing programming-language-theory quantum-programming-language research-data research-paper research-software-engineering sat-solver smt-solver software-verification startup z3
Last synced: 27 Sep 2024
https://github.com/philnguyen/z3-rkt
Racket bindings for Z3
binding bindings racket smt-solver z3
Last synced: 08 Aug 2024
https://github.com/fatemender/boolector-sys
Low-level Rust bindings for the Boolector SMT solver
boolector rust rust-ffi smt-solver
Last synced: 03 Aug 2024
https://github.com/markusbrammer/z3-dotnet
My attempt at understanding the Z3 API for .NET (F#)
dotnet fsharp smt smt-solver z3 z3-smt-solver
Last synced: 29 Sep 2024
https://github.com/eliasgit2017/proofbox
Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs
alt-ergo coq docker docker-container ocaml smt-solver
Last synced: 27 Sep 2024