all options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]

Source Package: picosat (965-2)

Links for picosat

Debian Resources:


External Resources:

The following binary packages are built from this source package:
SAT solver with proof and core support

Other Packages Related to picosat

  • build-depends
  • build-depends-indep

Download picosat

FileSize (in kB)MD5 checksum
picosat_965-2.dsc 1.9 kB eaabbfd06273f9bdf634bc8ab5c4e47e
picosat_965.orig.tar.gz 62.9 kB d37c236d5c60b03d888d137c2fa4285f
picosat_965-2.debian.tar.xz 6.2 kB 32b6d30566f2e455794f6355b0e8540a
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)