msoos

Profil créateur GitHub

msoos

Vue par dépôt de 1 skills collectés dans 1 dépôts GitHub.

github/msoos plus grand dépôt : cryptominisat

skills collectés

1

dépôts

1

mis à jour

4 juin 2026

carte des dépôts

Où se trouvent les skills

Principaux dépôts par nombre de skills collectés, avec leur part dans ce catalogue créateur et leur couverture métier.

1 skills · 4 juin 2026

Développeurs de logiciels

1 catégories métier · 100 % classifié

explorateur de dépôts

Dépôts et skills représentatifs

créateur/dépôt/skill

1 skills940204mis à jour 4 juin 2026

100 % du créateur

skill

métier

description

mis à jour

Développeurs de logiciels

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 dépôts affichés sur 1

Tous les dépôts sont affichés