Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Cdcl Crypto

CDCL(Crypto) SAT solver for cryptanalysis problems
Stars
5
License
other
Open Issues
0
Most Recent Commit
3 years ago
Programming Language
C++
Categories
Repo
Alternatives To Cdcl Crypto
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Cryptominisat76723 months ago1January 25, 20193otherC++
An advanced SAT solver
Stp477
4 months ago56otherC++
Simple Theorem Prover, an efficient SMT solver for bitvectors
Cdcl Crypto5
3 years agootherC++
CDCL(Crypto) SAT solver for cryptanalysis problems
Alternatives To Cdcl Crypto
Select To Compare
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1most recent commit 3 months ago


Suggest An Alternative To CDCL-Crypto
Alternative Project Comparisons
Cdcl Crypto vs Cryptominisat
Cdcl Crypto vs Stp
Popular Sat Solver Projects
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 3 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 4 months ago
Phil ⭐ 260
A crossword maker.
most recent commit 9 months ago
Popular Cryptography Projects
Bitcoin ⭐ 73,537
Bitcoin Core integration/staging tree
total releases 2latest release June 21, 2021most recent commit 3 months ago
Ccxt ⭐ 30,815
A JavaScript / TypeScript / Python / C# / PHP cryptocurrency trading API with support for more than 100 bitcoin/altcoin exchanges
dependent packages 74total releases 14,316latest release December 03, 2023most recent commit a month agonpm ccxt} Downloads
Openbbterminal ⭐ 26,037
Investment Research for Everyone, Everywhere.
dependent packages 5total releases 34latest release November 30, 2023most recent commit 2 days agopypi openbb} Downloads
Openssl ⭐ 23,577
TLS/SSL and crypto library
dependent packages 225total releases 50latest release November 03, 2023most recent commit 3 months ago
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Cryptography
Smt
Sat Solver
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.