skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Packages / sid (unstable) / Source / science / picosat

[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Links for picosat

Debian Resources:

• Bug Reports
• Developer Information
• Debian Changelog
• Copyright File
• Debian Source Repository (Git)
• Debian Patch Tracker

Maintainers:

• Debian Science Team (QA Page, Mail Archive)
• Michael Tautschnig (QA Page)
• Nilesh Patra (QA Page)

External Resources:

• Homepage [fmv.jku.at]

The following binary packages are built from this source package:

picosat

SAT solver with proof and core support

Other Packages Related to picosat

build-depends

build-depends-indep

• adep: debhelper-compat (= 12)

  Package not available

• adep: dh-exec

  Scripts to help with executable debhelper files

Download picosat

File	Size (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)

https://salsa.debian.org/science-team/picosat.git

Debian Package Source Repository (Browsable)

https://salsa.debian.org/science-team/picosat