Package: cadical
Priority: optional
Section: universe/math
Installed-Size: 1916
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.1.3-3
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cadical/cadical_2.1.3-3_amd64.deb
Size: 531868
SHA512: 5ff7906bb308ee8a663595be91a9d592af6cedb69400d1a80f6ab7511fbe2f4f01fa78fd9abeba073ec65bf7a7b781aae239768157ab24d08abea4c872d336fc
Homepage: http://fmv.jku.at/cadical/
Description: Simplified Satisfiability Solver
Description-md5: 56f60fd191e4f7c1010490ef2c5b90e0
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug