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

Source Package: picosat (965-2)

Links for picosat

Debian Resources:

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-løser med proof- og core-understøttelse

Other Packages Related to picosat

build-depends

build-depends-indep

adep: debhelper-compat (= 12)

Package not available
adep: dh-exec

Skripter til at hjælpe med kørbare debhelper-filer

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