Topic Hub
#sat (6 Repositories)
Ranked open-source repositories tagged with #sat, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
41.7%
Avg Review Latency
1.4h
Filter by language
6 repositories tagged #sat
B TierPHP 144
eclipxe13/CfdiUtils
PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0
100.0%
Merge Rate
-
First Review
100%
1st-Timers
0
Maintainers
B TierHAHaskell 118
conjure-cp/conjure
Conjure: The Automated Constraint Modelling Tool
83.3%
Merge Rate
-
First Review
100%
1st-Timers
0
Maintainers
B TierPython 163
SAT-CFDI/python-satcfdi
The best open-source python library to generate and process SAT's CFDI
66.7%
Merge Rate
9h
First Review
100%
1st-Timers
0
Maintainers
D TierPHP 192
phpcfdi/sat-ws-descarga-masiva
Librería para usar el servicio web del SAT de Descarga Masiva
0.0%
Merge Rate
-
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 TierGo 306
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