[ trixie ]
[ sid ]
Paquet source : kissat (4.0.1-3)
Liens pour kissat
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 :
Ressources externes :
- Page d'accueil [fmv.jku.at]
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- kissat
- Keep it simple and clean bare metal SAT solver
Autres paquets associés à kissat
|
|
Download kissat
| Fichier | Taille (en ko) | Somme MD5 |
|---|---|---|
| kissat_4.0.1-3.dsc | 1,6 ko | 92bf6739bffa22df7a28de2c1da09ec2 |
| kissat_4.0.1.orig.tar.gz | 519,1 ko | fcf566984441fe0703230b15e7d1bff2 |
| kissat_4.0.1-3.debian.tar.xz | 4,4 ko | dc1fc858d13b8cb933743e1a3832f19e |
- Dépôt Debian des paquets source (VCS: Git)
- https://salsa.debian.org/science-team/kissat.git
- Dépôt Debian des paquets source (interface web)
- https://salsa.debian.org/science-team/kissat