[  etiona  ] [  nabia  ] [  aramo  ]

Links für minisat2

Trisquel-Ressourcen:

• Fehlerberichte
• Changelog
• Copyright-Datei
• Debian-Quellcode-Depot (Git)

Betreuer:

• Ubuntu Developers (E-Mail-Archiv)

Original Maintainer:

• Michael Tautschnig

Externe Ressourcen:

• Homepage [minisat.se]

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

minisat

Fast and lightweight SAT solver

minisat2

Transitional package for minisat

Andere Pakete mit Bezug zu minisat2

build-depends

build-depends-indep

• adep: debhelper (>= 9)

  helper programs for debian/rules

• adep: libz-dev

  virtuelles Paket, bereitgestellt durch zlib1g-dev

Download minisat2

Datei	Größe (in kB)	MD5-Prüfsumme
minisat2_2.2.1-5build2.dsc	1,9 kB	ae27ea1e57431333566df0a0cdd16968
minisat2_2.2.1.orig.tar.gz	43,2 kB	27faa19ee0508660bd6fb7f894646d42
minisat2_2.2.1-5build2.debian.tar.xz	9,3 kB	c180b8f53a278f09891d07db771eb1f4

Quellcode-Depot des Debian-Pakets (VCS: Git)

git://gitorious.org/minisat-debian/minisat2.git

Quellcode-Depot des Debian-Pakets (browsable)

http://github.com/niklasso/minisat