Project Name	Stars	Packages Using This	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Cryptominisat	767	2	5 months ago	1	January 25, 2019	3	other	C++
An advanced SAT solver
Stp	477		7 months ago			56	other	C++
Simple Theorem Prover, an efficient SMT solver for bitvectors
Cdcl Crypto	5		3 years ago				other	C++
CDCL(Crypto) SAT solver for cryptanalysis problems

Alternatives To Cryptominisat

Select To Compare

Cryptominisat ⭐ 767

An advanced SAT solver

dependent packages 2total releases 1most recent commit 5 months ago

Stp ⭐ 477

Simple Theorem Prover, an efficient SMT solver for bitvectors

most recent commit 7 months ago

Cdcl Crypto ⭐ 5

CDCL(Crypto) SAT solver for cryptanalysis problems

most recent commit 3 years ago

Suggest An Alternative To cryptominisat

Alternative Project Comparisons

Cryptominisat vs Stp

Cryptominisat vs Cdcl Crypto

Popular Sat Solver Projects

Creusat ⭐ 587

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

most recent commit 3 months ago

Gophersat ⭐ 353

gophersat, a SAT solver in Go

dependent packages 17total releases 19latest release November 24, 2023most recent commit 5 months ago

Yices2 ⭐ 345

The Yices SMT Solver

most recent commit 6 months ago

Quadriflow ⭐ 337

QuadriFlow: A Scalable and Robust Method for Quadrangulation

most recent commit 5 years ago

Phil ⭐ 260

A crossword maker.

most recent commit a year ago

Popular Cryptography Projects

Bitcoin ⭐ 73,537

Bitcoin Core integration/staging tree

total releases 2latest release June 21, 2021most recent commit 5 months ago

Javascript ⭐ 31,343

Algorithms and Data Structures implemented in JavaScript for beginners, following best practices.

most 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 3 months ago

Openbbterminal ⭐ 26,037

Investment Research for Everyone, Everywhere.

dependent packages 5total releases 34latest release November 30, 2023most recent commit 2 months ago

Openssl ⭐ 23,577

TLS/SSL and crypto library

dependent packages 225total releases 50latest release November 03, 2023most recent commit 5 months ago

Popular Security Categories