[  etiona  ] [  nabia  ] [  aramo  ]

Odkazy pre minisat2

Zdroje Trisquel:

• Hlásenia chýb
• Changelog
• Autori a licencia
• Zdrojové úložisko Debianu (Git)

Správca:

• Ubuntu Developers (Konferencia)

Original Maintainer:

• Michael Tautschnig

Externé zdroje:

• Domovská stránka [minisat.se]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

minisat

Fast and lightweight SAT solver

minisat2

Transitional package for minisat

Ostatné balíky súvisiace s balíkom minisat2

build-depends

build-depends-indep

• adep: debhelper (>= 9)

  helper programs for debian/rules

• adep: libz-dev

  virtuálny balík poskytovaný balíkom zlib1g-dev

Download minisat2

Súbor	Veľkosť (v kB)	kontrolný súčet MD5
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

Úložisko zdrojových balíkov Debianu (VCS: Git)

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

Úložisko zdrojových balíkov Debianu (možno prezerať)

http://github.com/niklasso/minisat