Package: picosat Architecture: amd64 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: 727 Depends: libc6 (>= 2.14) Filename: pool/universe/p/picosat/picosat_960-1build1_amd64.deb Size: 115144 MD5sum: f0161e0b064d5c55da04135998a8a8e1 SHA1: 2806784a3777f8c7318a1232807055348939b41b SHA256: 34afc0f3a0bbc7f33e55c4a27a6081189cb3d3e6fbee868cf8514aca6e1bf3b6 Homepage: http://fmv.jku.at/picosat/ Description: SAT solver with proof and core support Description-md5: da3bd387c3a4f3fabebfc27b3fad967b