[  etiona  ] [  nabia  ] [  aramo  ]

Links for picosat

Trisquel-palvelut:

• Vikailmoitukset
• Changelog
• Tekijänoikeustiedosto
• Debian Source Repository (Git)

Ylläpitäjä:

• Debian Science Team (Mail Archive)

Original Maintainers:

• Debian Science Team (Mail Archive)
• Michael Tautschnig

External Resources:

• Kotisivu [fmv.jku.at]

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

picosat

SAT solver with proof and core support

Muut pakettiin picosat liittyvät paketit

build-depends

build-depends-indep

• adep: debhelper-compat (= 12)

  Paketti ei saatavilla

• adep: dh-exec

  Scripts to help with executable debhelper files

Download picosat

Tiedosto	Koko (kt)	MD5-tarkiste
picosat_965-1.dsc	1.9 kt	5a8ea634497575bdbed85c8100876058
picosat_965.orig.tar.gz	62.9 kt	d37c236d5c60b03d888d137c2fa4285f
picosat_965-1.debian.tar.xz	5.8 kt	cf98cde8f10666f6e9c3ba73702c22d5

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