Skip to main content
skillsmp

Menu

msoos
Perfil de criador do GitHub

msoos

Visão por repositório de 1 skills coletadas em 1 repositórios do GitHub.

github/msoosmaior repositório: cryptominisat
skills coletadas
1
repositórios
1
atualizado
4 de jun. de 2026
mapa de repositórios

Onde as skills estão

Principais repositórios por número de skills coletadas, com sua participação neste catálogo do criador e sua distribuição ocupacional.

#01
cryptominisat
1 skills · 4 de jun. de 2026
Desenvolvedores de software
1 categorias ocupacionais · 100% classificado
100%participação
explorador de repositórios

Repositórios e skills representativas

#001
cryptominisat
1 skills940204atualizado 4 de jun. de 2026
100% do criador
cryptominisat
Desenvolvedores de software

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…

4 de jun. de 2026
Mostrando 1 de 1 repositórios
Todos os repositórios foram exibidos