» Ubuntu » 软件包 » precise » 源代码 » science » minisat+

[ precise ] [ quantal ] [ raring ] [ saucy ]

源码包: minisat+ (1.0-2) [universe]

minisat+ 的相关链接

Ubuntu 的资源:

维护者:

Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

Debian Science Maintainers (Mail Archive)
Ralf Treinen

It should generally not be necessary for users to contact the original maintainer.

外部的资源:

主页 [minisat.se]

本源码包构建了以下这些二进制包:

minisat+: solver for pseudo-Boolean constraints

其他与 minisat+ 有关的软件包

完整构建时刻依赖

单独构建时刻依赖

adep: debhelper (>= 8)

helper programs for debian/rules
adep: libgmp-dev

Multiprecision arithmetic library developers tools
adep: zlib1g-dev

compression library - development

Download minisat+

文件	大小(单位: kB)	MD5 校验码
minisat+_1.0-2.dsc	1.2 kB	f81d3ad14992f7ffb00136f3839cdf75
minisat+_1.0.orig.tar.gz	78.1 kB	a5910ef8bea269632eff74b54f07010d
minisat+_1.0-2.debian.tar.gz	3.9 kB	c22d943b0ddfc19e5edf418261a27937

Debian 软件包源码仓库(VCS: Git): git://git.debian.org/git/debian-science/packages/minisat+.git
Debian 软件包源码仓库(可在线浏览): http://git.debian.org/?p=debian-science/packages/minisat+.git