Package: cadical
Architecture: amd64
Version: 1.7.4-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1496
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cadical/cadical_1.7.4-1_amd64.deb
Size: 464636
MD5sum: 4f1531a7ea064894fb3f549a8d840827
SHA1: 7e738a4295c448353fb7753c6c98a3987d7b143f
SHA256: 3d2a5a3b5285efb4ed5145bfb50415e1e0fe7d8b0a52e0c8d6022fedf3cdb562
SHA512: 2346093cff0d91c4dd02675904b36eef5b27a29ce9111d7b46a3ce3a491758ca49ea4c92d21ce9ee941a2534fb6070e38343eb3fe033738ee888170d972105bd
Homepage: http://fmv.jku.at/cadical/
Description: Simplified Satisfiability Solver
Description-md5: 56f60fd191e4f7c1010490ef2c5b90e0