Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Smt Sat Solver Open Source Projects

Open source projects categorized as Smt Sat Solver
Categories > Security > Sat Solver
Stp ⭐ 477
Simple Theorem Prover, an efficient SMT solver for bitvectors
most recent commit 4 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 4 months ago
Go Z3 ⭐ 92
Go (golang) bindings to the Z3 SMT Solver
total releases 1most recent commit 3 years ago
C3 ⭐ 27
The C3, SMT/SAT solver written in C.
most recent commit 2 years ago
Batsat ⭐ 24
A (parametrized) Rust SAT solver originally based on MiniSat
total releases 5most recent commit a year ago
Sidekick ⭐ 23
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
most recent commit 4 months ago
Z3 Mode ⭐ 18
An interactive development environment for SMT-LIB files and Z3
most recent commit 2 years ago
Modulus ⭐ 10
A constraint solver built from scratch in OCaml
most recent commit 2 years ago
Mcsatan ⭐ 8
A diabolic implementation of mcSAT 😈
most recent commit 3 years ago
Cdcl Crypto ⭐ 5
CDCL(Crypto) SAT solver for cryptanalysis problems
most recent commit 3 years ago
The 2 Latest Releases In Smt Sat Solver Open Source Projects
Batsat ⭐ 24
A (parametrized) Rust SAT solver originally based on MiniSat
total releases 5latest release January 12, 2021most recent commit a year ago
Go Z3 ⭐ 92
Go (golang) bindings to the Z3 SMT Solver
total releases 1latest release December 28, 2019most recent commit 3 years ago
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.