全部搜索项
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

源码包: minisat2 (1:2.2.0-2)

minisat2 的相关链接

Debian 的资源:

维护者:

外部的资源:

本源码包构建了以下这些二进制包:
minisat2
Fast and lightweight SAT solver

其他与 minisat2 有关的软件包

  • 完整构建时刻依赖
  • 单独构建时刻依赖

Download minisat2

文件大小(单位: kB)MD5 校验码
minisat2_2.2.0-2.dsc 1.1 kB 0dc18e76a05fe6a91264fc844b8a007d
minisat2_2.2.0.orig.tar.gz 42.8 kB a27b001af99c07308fe1b1ad94e402d8
minisat2_2.2.0-2.debian.tar.gz 9.6 kB 4c696edecd19351f963e1e7ce484aaa9
Debian 软件包源码仓库(VCS: Git)
git://github.com/niklasso/minisat.git
Debian 软件包源码仓库(可在线浏览)
http://github.com/niklasso/minisat