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