Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Sat Solver Open Source Projects
Open source projects categorized as Sat Solver
Categories
>
Security
>
Sat Solver
Edit Category
msoos/cryptominisat
⭐
767
An advanced SAT solver
dependent packages
0
total releases
0
most recent commit
about 2 years ago
sarsko/CreuSAT
⭐
672
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
dependent packages
0
total releases
0
most recent commit
10 months ago
stp/stp
⭐
477
Simple Theorem Prover, an efficient SMT solver for bitvectors
dependent packages
0
total releases
0
most recent commit
over 2 years ago
crillab/gophersat
⭐
353
gophersat, a SAT solver in Go
dependent packages
0
total releases
0
most recent commit
about 2 years ago
SRI-CSL/yices2
⭐
345
The Yices SMT Solver
dependent packages
0
total releases
0
most recent commit
over 2 years ago
hjwdzh/QuadriFlow
⭐
337
QuadriFlow: A Scalable and Robust Method for Quadrangulation
dependent packages
0
total releases
0
most recent commit
over 6 years ago
keiranking/Phil
⭐
260
A crossword maker.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
jix/varisat
⭐
211
SAT solver written in Rust
dependent packages
0
total releases
0
most recent commit
over 3 years ago
welchbj/tt
⭐
197
a Pythonic toolkit for working with Boolean expressions
dependent packages
0
total releases
0
most recent commit
almost 6 years ago
dselsam/neurosat
⭐
154
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
dependent packages
0
total releases
0
most recent commit
about 7 years ago
Get A Weekly Email With Trending Sat Solver Projects
No Spam. Unsubscribe easily at any time.
Sat Solver
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
