toutes les options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]

Paquet source : picosat (965-2)

Liens pour picosat

Ressources Debian :

Responsables :

Ressources externes :

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

  • build-depends
  • build-depends-indep

Download picosat

FichierTaille (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