[  etiona  ] [  nabia  ] [  aramo  ]

Liens pour minisat2

Ressources Trisquel :

• Rapports de bogues
• Changelog
• Fichier de licence
• Dépôt de source Debian (Git)

Responsable :

• Ubuntu Developers (Archive du courrier électronique)

Original Maintainer:

• Michael Tautschnig

Ressources externes :

• Page d'accueil [minisat.se]

Les paquets binaires suivants sont compilés à partir de ce paquet source :

minisat

Fast and lightweight SAT solver

minisat2

Transitional package for minisat

Autres paquets associés à minisat2

build-depends

build-depends-indep

• adep: debhelper (>= 9)

  helper programs for debian/rules

• adep: libz-dev

  paquet virtuel fourni par zlib1g-dev

Download minisat2

Fichier	Taille (en ko)	Somme MD5
minisat2_2.2.1-5build1.dsc	1,9 ko	061cf7618c2648f104b9e2134d62d169
minisat2_2.2.1.orig.tar.gz	43,2 ko	27faa19ee0508660bd6fb7f894646d42
minisat2_2.2.1-5build1.debian.tar.xz	9,3 ko	4a4d8b0bdb0bbb5c2719022ebc5ace3e

Dépôt Debian des paquets source (VCS: Git)

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

Dépôt Debian des paquets source (interface web)

http://github.com/niklasso/minisat