Topic Hub
#smt-solver (6 Repositories)
Ranked open-source repositories tagged with #smt-solver, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
54.4%
Avg Review Latency
23.3h
Filter by language
6 repositories tagged #smt-solver
S TierC++ 525 4 GFIs
esbmc/esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
89.9%
Merge Rate
-
First Review
82%
1st-Timers
15
Maintainers
A TierPython 196
morluto/jacobian
Composable mathematics tools for agents
81.2%
Merge Rate
6d
First Review
83%
1st-Timers
3
Maintainers
B TierRust 533
prove-rs/z3.rs
Rust bindings for the Z3 solver.
55.6%
Merge Rate
3h
First Review
0%
1st-Timers
2
Maintainers
B TierHAHaskell 159
msakai/toysolver
My sandbox for experimenting with solver algorithms.
100.0%
Merge Rate
-
First Review
100%
1st-Timers
0
Maintainers
D TierPython 199
testsmt/yinyang
A fuzzing framework for SMT solvers
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