msoos

GitHub creator profile

msoos

Repository-level view of 1 collected skills across 1 GitHub repositories.

github/msoos largest repo: cryptominisat

skills collected

1

repositories

1

updated

Jun 4, 2026

repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

1 skills · Jun 4, 2026

Software Developers

1 occupation categories · 100% classified

repository explorer

Repositories and representative skills

creator/repo/skill

1 skills940204updated Jun 4, 2026

100% of creator

skill

occupation

description

updated

software-developers

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…

Showing 1 of 1 repositories

All repositories loaded