[  etiona  ] [  nabia  ] [  aramo  ]

Links for minisat+

Trisquel-palvelut:

• Vikailmoitukset
• Changelog
• Tekijänoikeustiedosto
• Debian Source Repository (Git)

Ylläpitäjä:

• Debian Science Maintainers (Mail Archive)

Original Maintainers:

• Debian Science Maintainers (Mail Archive)
• Ralf Treinen

External Resources:

• Kotisivu [minisat.se]

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

minisat+

solver for pseudo-Boolean constraints

Muut pakettiin minisat+ liittyvät paketit

build-depends

build-depends-indep

• adep: debhelper (>= 10)

  helper programs for debian/rules

• adep: libgmp-dev

  Multiprecision arithmetic library developers tools

• adep: zlib1g-dev

  compression library - development

Download minisat+

Tiedosto	Koko (kt)	MD5-tarkiste
minisat+_1.0-4build1.dsc	2.0 kt	d3b0d0d6b62c5e50ace12832bd8f929e
minisat+_1.0.orig.tar.gz	78.1 kt	a5910ef8bea269632eff74b54f07010d
minisat+_1.0-4build1.debian.tar.xz	4.2 kt	bee9c961feb803f0392f44f3efb1acb7

Debian Package Source Repository (VCS: Git)

https://anonscm.debian.org/git/debian-science/packages/minisat+.git

Debian Package Source Repository (Browsable)

https://anonscm.debian.org/cgit/debian-science/packages/minisat+.git