msoos

GitHub クリエイタープロフィール

msoos

1 件の GitHub リポジトリにある 1 件の収集済み skills をリポジトリ単位で表示します。

github/msoos 最大リポジトリ: cryptominisat

収集済み skills

1

リポジトリ

1

更新

2026年6月4日

リポジトリマップ

skills がある場所

収集済み skill 数が多いリポジトリを、このクリエイターカタログ内の比率と職業範囲とともに表示します。

1 件の skills · 2026年6月4日

ソフトウェア開発者

1 件の職業カテゴリ · 100% 分類済み

リポジトリエクスプローラー

リポジトリと代表的な skills

クリエイター/リポジトリ/skill

1 件の skills9402042026年6月4日更新

クリエイター内の 100%

skill

職業分類

説明

更新

ソフトウェア開発者

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…

2026年6月4日

1 件中 1 件のリポジトリを表示

すべてのリポジトリを表示しました