Paquet source : picosat (965-2)
Liens pour picosat
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Dépôt de source Debian (Git)
- Suivis des correctifs pour Debian
Responsables :
- Debian Science Team (Page QA, Archive du courrier électronique)
- Michael Tautschnig (Page QA)
- Nilesh Patra (Page QA)
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-compat (= 12)
- Paquet indisponible
-
- adep: dh-exec
- scripts d'assistance avec des fichiers debhelper exécutables
Download picosat
| Fichier | Taille (en ko) | Somme MD5 |
|---|---|---|
| picosat_965-2.dsc | 1,9 ko | eaabbfd06273f9bdf634bc8ab5c4e47e |
| picosat_965.orig.tar.gz | 62,9 ko | d37c236d5c60b03d888d137c2fa4285f |
| picosat_965-2.debian.tar.xz | 6,2 ko | 32b6d30566f2e455794f6355b0e8540a |
- Dépôt Debian des paquets source (VCS: Git)
- https://salsa.debian.org/science-team/picosat.git
- Dépôt Debian des paquets source (interface web)
- https://salsa.debian.org/science-team/picosat