Package: cadical
Priority: optional
Section: universe/math
Installed-Size: 1924
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.1.3-2
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cadical/cadical_2.1.3-2_amd64.deb
Size: 533164
MD5sum: 9e3327024ff6aefbe835f63feaed56aa
SHA1: 2375311e050735649160b578a972fa92e57e47a7
SHA256: 3177fef4a63166b8c89ab92e74ffa02e7a65f3fae722db5b4c8a9eebae50e189
SHA512: 0e42ee8f903737d98398dd2a8cc8d4b7419e04d6835a9698ae30e5d3d93b9c5612e22a0bbd79f552c3ce9936ae8a31ca13196d6f4f42f661d86003ce338eb8f5
Homepage: http://fmv.jku.at/cadical/
Description: Simplified Satisfiability Solver
Description-md5: 56f60fd191e4f7c1010490ef2c5b90e0
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug