Package: picosat
Architecture: amd64
Version: 965-2
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 881
Depends: libc6 (>= 2.7)
Filename: pool/universe/p/picosat/picosat_965-2_amd64.deb
Size: 91888
MD5sum: d18891a8bbd956180b609d7c370b6eec
SHA1: ac2be53c406da40d0830c00def28653327d60753
SHA256: 92146943920449f4f11d9f77665e12ed3a913610547efeb36348e66564d3b0f4
SHA512: 76966b73a73af24bfe04fe1b47ba6192243e341294ab2dc7a45144f13746ee3637bb535434eb52280bc619d87075f0eadc55c76818461e5ce96f417b99e5b0b2
Homepage: http://fmv.jku.at/picosat/
Description: SAT solver with proof and core support
Description-md5: da3bd387c3a4f3fabebfc27b3fad967b