msoos

GitHub-Creator-Profil

msoos

Repository-Ansicht von 1 gesammelten Skills in 1 GitHub-Repositories.

github/msoos größtes Repository: cryptominisat

gesammelte Skills

1

Repositories

1

aktualisiert

4. Juni 2026

Repository-Karte

Wo die Skills liegen

Top-Repositories nach gesammelter Skill-Anzahl, mit ihrem Anteil an diesem Creator-Katalog und ihrer Berufsverteilung.

1 Skills · 4. Juni 2026

Softwareentwickler

1 Berufskategorien · 100 % klassifiziert

Repository-Explorer

Repositories und repräsentative Skills

Creator/Repository/Skill

1 Skills940204aktualisiert 4. Juni 2026

100 % des Creators

Skill

Beruf

Beschreibung

Aktualisiert

Softwareentwickler

Solve Boolean satisfiability (SAT) problems with the pycryptosat Python library. Use when a problem can be expressed as Boolean variables and logical constraints — e.g. "is this set of rules consistent?", "find an assignment satisfying these conditions", "are…

1 von 1 Repositories angezeigt

Alle Repositories angezeigt