Package: chuffed-flatzinc
Architecture: amd64
Version: 0.13.1-1
Multi-Arch: foreign
Priority: optional
Section: universe/math
Source: chuffed
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1327
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libmurmurhash2 (>= 0.2), libstdc++6 (>= 13.1)
Recommends: minizinc
Filename: pool/universe/c/chuffed/chuffed-flatzinc_0.13.1-1_amd64.deb
Size: 521096
MD5sum: 2f11fed1a2c0e45e4b2de297d25489d6
SHA1: d3b8145a5c03ecdefd602c77a93fed9c769545a8
SHA256: 875317b6c2807688c1810c0100ccc030362719bbd20592ed4f7c7e05a8a98211
SHA512: afdb0bf0fbb27cafe51085ac868011d8c72e56961f285451ddef0408bf3471f39538144cd11e1d8af460105955560cf8fc3171c4de5faf697cb76bdc0fe27b6c
Homepage: https://github.com/chuffed/chuffed
Description: lazy clause generation FlatZinc implememntation
Description-md5: f0116406f3a85b05fbd2e3a9fb2b0a65