[ sid ]
パッケージ: minisat+-dbgsym (1.0-4) [debports]
minisat+-dbgsym に関するリンク
Debian の資源:
ソースパッケージをダウンロード:
見つかりませんメンテナ:
外部の資源:
- ホームページ [minisat.se]
類似のパッケージ:
Debug symbols for minisat+
その他の minisat+-dbgsym 関連パッケージ
|
|
|
|
-
- dep: minisat+ (= 1.0-4)
- solver for pseudo-Boolean constraints