Thema · sat
sat
Erfasste Open-Source-Repos mit dem Tag sat, sortiert nach Sternen.
Repos
3
Sterne gesamt
3.365
Sterne im Schnitt
1.122
Anteil
0,00%
Verwandte Themen
Themen, die häufig gemeinsam mit sat am selben Repo auftauchen.
Neue Aufsteiger
Repos, die in den letzten 90 Tagen erstellt und mit sat getaggt wurden.
In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.
- #1
Englische Vokabeln, CET4/CET6, Postgraduate-Prüfungen, SAT-Vokabeln, TXT- und JSON-Dateien
★ 1.911+28Sterne-Änderung der letzten 7 Tage - #2
Verbesserung des Factorio-Spielerlebnisses mit SAT-Solvern
★ 774+0Sterne-Änderung der letzten 7 Tage - #3
CreuSAT – Ein formal verifizierter SAT-Solver, geschrieben in Rust und verifiziert mit Creusot.
★ 696+5Sterne-Änderung der letzten 7 Tage
