Topic Hub
#sat-solver (6 Repositories)
Ranked open-source repositories tagged with #sat-solver, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
48.3%
Avg Review Latency
1.4h
Filter by language
6 repositories tagged #sat-solver
S TierC++ 586
stp/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
89.6%
Merge Rate
8h
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++ 226
Ilosyi/Hust-CS-Learning-Library
华中科技大学计算机个人资料合集:课设/实验报告等。tag:数电实验交通灯，C++实验华为，C语言实验，数据结构实验，洛谷算法实验，SAT数独求解器，电路理论，Java，计算机系统基础实验(CSAPP)，组原实验，计网，软件工程，操作系统、函数式编程，头歌
100.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
B TierOCOCaml 105
Gbury/mSAT
A modular sat/smt solver with proof output.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierScala 111
gapt/gapt
GAPT: General Architecture for Proof Theory
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierRust 691
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