all options
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]

Source Package: minisat2 (1:2.2.1-3)

Links for minisat2

Debian Resources:

Maintainer:

External Resources:

The following binary packages are built from this source package:
minisat
Fast and lightweight SAT solver
minisat2
Transitional package for minisat

Other Packages Related to minisat2

  • build-depends
  • build-depends-indep

Download minisat2

FileSize (in kB)MD5 checksum
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 Package Source Repository (VCS: Git)
git://gitorious.org/minisat-debian/minisat2.git
Debian Package Source Repository (Browsable)
http://github.com/niklasso/minisat