Topic Hub
#sat-solver (7 Repositories)
Ranked open-source repositories tagged with #sat-solver, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
40.6%
Avg Review Latency
5.3h
Filter by language
7 repositories tagged #sat-solver
S TierC++ 591
stp/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
84.1%
Merge Rate
11h
First Review
100%
1st-Timers
4
Maintainers
B TierHAHaskell 159
msakai/toysolver
My sandbox for experimenting with solver algorithms.
100.0%
Merge Rate
-
First Review
100%
1st-Timers
0
Maintainers
B TierC++ 237
Ilosyi/Hust-CS-Learning-Library
华中科技大学计算机个人资料合集:课设/实验报告等。tag:数电实验交通灯，C++实验华为，C语言实验，数据结构实验，洛谷算法实验，SAT数独求解器，电路理论，Java，计算机系统基础实验(CSAPP)，组原实验，计网，软件工程，操作系统、函数式编程，头歌
100.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierC++ 940
msoos/cryptominisat
An advanced SAT solver
0.0%
Merge Rate
1d
First Review
0%
1st-Timers
1
Maintainers
D TierRust 700
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierScala 112
gapt/gapt
GAPT: General Architecture for Proof Theory
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierOCOCaml 106
Gbury/mSAT
A modular sat/smt solver with proof output.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers