Paquet source : picosat (960-1)
Liens pour picosat
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Responsable :
Ressources externes :
- Page d'accueil [fmv.jku.at]
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- picosat
- solveur SAT avec gestion de démonstrations et « core »
Autres paquets associés à picosat
|
|
-
- adep: debhelper (>= 7.0.50~)
- programmes assistants pour debian/rules
Download picosat
| Fichier | Taille (en ko) | Somme MD5 |
|---|---|---|
| picosat_960-1.dsc | 1,7 ko | 525c9c8d824a2e61b366ae28ef4b4a6e |
| picosat_960.orig.tar.gz | 61,8 ko | bee515cd9fd12ffaffab10b3587aa833 |
| picosat_960-1.debian.tar.xz | 6,0 ko | 319a15a4277a2f91cca97d1e4b44e812 |