[  etiona  ] [  nabia  ] [  aramo  ]

Links for picosat

Trisquel-palvelut:

• Vikailmoitukset
• Changelog
• Tekijänoikeustiedosto

Ylläpitäjä:

• Ubuntu Developers (Mail Archive)

Original Maintainer:

• 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 (>= 7.0.50~)

  helper programs for debian/rules

Download picosat

Tiedosto	Koko (kt)	MD5-tarkiste
picosat_960-1build1.dsc	1.8 kt	6f96f768dc7a63a72b19d7428a513ec6
picosat_960.orig.tar.gz	61.8 kt	bee515cd9fd12ffaffab10b3587aa833
picosat_960-1build1.debian.tar.xz	6.1 kt	0aeca124a794e38f8e3b7a3397c15eea