すべてのオプション
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]

ソースパッケージ: minisat2 (1:2.2.1-3)

minisat2 に関するリンク

Debian の資源:

メンテナ:

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
minisat
Fast and lightweight SAT solver
minisat2
Transitional package for minisat

その他の minisat2 関連パッケージ

  • 構築依存
  • 構築依存 (アーキテクチャ非依存)

Download minisat2

ファイルサイズ (単位: kB)MD5 チェックサム
minisat2_2.2.1-3.dsc 1.1 kB 4ed46d412e3be4cb87b3fe40e4ae55f6
minisat2_2.2.1.orig.tar.gz 43.2 kB 27faa19ee0508660bd6fb7f894646d42
minisat2_2.2.1-3.debian.tar.gz 8.4 kB 7267ca50b9a4e2b628fcd2e702a259c6
Debian パッケージソースリポジトリ (VCS: Git)
git://gitorious.org/minisat-debian/minisat2.git
Debian パッケージソースリポジトリ (ブラウザで表示可能)
http://github.com/niklasso/minisat