[  etiona  ] [  nabia  ] [  aramo  ]

[ 源代码: minisat2  ]

minisat2 的相关链接

Trisquel 的资源:

• Install using apturl
• Entry at directory.fsf.org
• 报告问题
• Changelog
• 版权文件

下载源码包 minisat2:

• [minisat2_2.2.1-5build1.dsc]
• [minisat2_2.2.1.orig.tar.gz]
• [minisat2_2.2.1-5build1.debian.tar.xz]

维护者:

• Ubuntu Developers (Mail Archive)

Original Maintainer:

• Michael Tautschnig

外部的资源:

• 主页 [minisat.se]

相似软件包:

• lunch
• libdmtx-utils
• libapache2-mod-md
• libapache2-mod-proxy-uwsgi
• luasseq
• prosper
• texlive-omega
• texlive-generic-extra
• texlive-generic-recommended
• texlive-lang-african
• texlive-lang-indic

其他与 minisat2 有关的软件包

依赖

推荐

建议

• dep: minisat

  Fast and lightweight SAT solver

下载 minisat2

下载可用于所有硬件架构的

硬件架构	软件包大小	安装后大小	文件
amd64	2.0 kB	12 kB	[文件列表]
i386	2.0 kB	12 kB	[文件列表]