Topic Hub
#sat (4 Repositories)
Ranked open-source repositories tagged with #sat, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
39.1%
Avg Review Latency
2.2h
Filter by language
4 repositories tagged #sat
B TierHAHaskell 116
conjure-cp/conjure
Conjure: The Automated Constraint Modelling Tool
85.0%
Merge Rate
-
First Review
100%
1st-Timers
0
Maintainers
B TierPython 157
SAT-CFDI/python-satcfdi
The best open-source python library to generate and process SAT's CFDI
71.4%
Merge Rate
9h
First Review
0%
1st-Timers
0
Maintainers
D TierGo 307
mudler/luet
:package: :whale: 0-dependency Container-based Package Manager using SAT solver and QLearning
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