Package: picosat
Priority: extra
Section: universe/science
Installed-Size: 751
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: i386
Version: 960-1
Depends: libc6 (>= 2.7)
Filename: pool/universe/p/picosat/picosat_960-1_i386.deb
Size: 147014
MD5sum: 465d58e492a9ea3242625da273fba86a
SHA1: b92bdb443fd0b06c522c6a0af9f7bec06f13057e
SHA256: 51e7b9420e1d9913812a7d4230f19ee60b013ce985586769154b87dcc928a1e8
Description: SAT solver with proof and core support
Homepage: http://fmv.jku.at/picosat/
Description-md5: da3bd387c3a4f3fabebfc27b3fad967b
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu