[  etiona  ] [  nabia  ] [  aramo  ]

Odnośniki dla picosat

Zasoby systemu Trisquel:

• Raporty o błędach
• Changelog
• Informacje nt. praw autorskich

Opiekun:

• Ubuntu Developers (Archiwum e-mail)

Original Maintainer:

• Michael Tautschnig

Zasoby zewnętrzne:

• Strona internetowa [fmv.jku.at]

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:

picosat

SAT solver with proof and core support

Inne pakiety związane z picosat

build-depends

build-depends-indep

• adep: debhelper (>= 7.0.50~)

  helper programs for debian/rules

Download picosat

Plik	Rozmiar (w KiB)	Suma kontrolna MD5
picosat_960-1build1.dsc	1,8 KiB	6f96f768dc7a63a72b19d7428a513ec6
picosat_960.orig.tar.gz	61,8 KiB	bee515cd9fd12ffaffab10b3587aa833
picosat_960-1build1.debian.tar.xz	6,1 KiB	0aeca124a794e38f8e3b7a3397c15eea