Topic Hub
#cvc5 (2 Repositories)
Ranked open-source repositories tagged with #cvc5, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
32.3%
Avg Review Latency
136.1h
Filter by language
2 repositories tagged #cvc5
B TierScala 403
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
64.6%
Merge Rate
11d
First Review
25%
1st-Timers
5
Maintainers
D TierPython 199
testsmt/yinyang
A fuzzing framework for SMT solvers
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers