Source Package: picosat (960-1build1)
Links for picosat
Trisquel Resources:
Maintainer:
Original Maintainer:
- Michael Tautschnig
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
|
|
-
- adep: debhelper (>= 7.0.50~)
- helper programs for debian/rules
Download picosat
File | Size (in kB) | MD5 checksum |
---|---|---|
picosat_960-1build1.dsc | 1.8 kB | 6f96f768dc7a63a72b19d7428a513ec6 |
picosat_960.orig.tar.gz | 61.8 kB | bee515cd9fd12ffaffab10b3587aa833 |
picosat_960-1build1.debian.tar.xz | 6.1 kB | 0aeca124a794e38f8e3b7a3397c15eea |