Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Verification Sat Solver Open Source Projects

Open source projects categorized as Verification Sat Solver
Categories > Security > Sat Solver
Categories > Software Quality > Verification
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1most recent commit 3 months ago
Creusat ⭐ 563
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
most recent commit 10 months ago
Stp ⭐ 477
Simple Theorem Prover, an efficient SMT solver for bitvectors
most recent commit 4 months ago
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33most recent commit 3 years ago
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23most recent commit 3 years ago
Eevbnn ⭐ 9
Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
most recent commit 2 years ago
Rate ⭐ 7
DRAT/DPR proof checker
dependent packages 3total releases 5most recent commit 2 years agocargo rate-common} Downloads
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.
most recent commit 5 years ago
The 4 Most Depended On Verification Sat Solver Open Source Projects
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23latest release January 31, 2019most recent commit 3 years ago
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33latest release August 26, 2021most recent commit 3 years ago
Rate ⭐ 7
DRAT/DPR proof checker
dependent packages 3total releases 5latest release January 01, 2020most recent commit 2 years agocargo rate-common} Downloads
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 3 months ago
The 4 Latest Releases In Verification Sat Solver Open Source Projects
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33latest release August 26, 2021most recent commit 3 years ago
Rate ⭐ 7
DRAT/DPR proof checker
dependent packages 3total releases 5latest release January 01, 2020most recent commit 2 years agocargo rate-common} Downloads
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23latest release January 31, 2019most recent commit 3 years ago
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 3 months 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.