Tarkennettu haku
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Source Package: minisat2 (1:2.2.1-3)

Links for minisat2

Debian-palvelut:

Ylläpitäjä:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
minisat
Fast and lightweight SAT solver
minisat2
Transitional package for minisat

Muut pakettiin minisat2 liittyvät paketit

  • build-depends
  • build-depends-indep

Download minisat2

TiedostoKoko (kt)MD5-tarkiste
minisat2_2.2.1-3.dsc 1.1 kt 4ed46d412e3be4cb87b3fe40e4ae55f6
minisat2_2.2.1.orig.tar.gz 43.2 kt 27faa19ee0508660bd6fb7f894646d42
minisat2_2.2.1-3.debian.tar.gz 8.4 kt 7267ca50b9a4e2b628fcd2e702a259c6
Debian Package Source Repository (VCS: Git)
git://gitorious.org/minisat-debian/minisat2.git
Debian Package Source Repository (Browsable)
http://github.com/niklasso/minisat