Your message dated Fri, 26 Apr 2024 18:00:11 +0000
with message-id <e1s0prn-007w8y...@fasolo.debian.org>
and subject line Bug#1063388: fixed in chuffed 0.13.1-1
has caused the Debian Bug report #1063388,
regarding ITP: chuffed -- lazy clause generation CP solver
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
1063388: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1063388
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Kari Pahula <k...@debian.org>
X-Debbugs-Cc: debian-de...@lists.debian.org, debian-scie...@lists.debian.org
* Package name : chuffed
Version : 0.13.1
* URL : https://github.com/chuffed/chuffed
* License : MIT/X
Programming Lang: C++
Description : lazy clause generation CP solver
Chuffed is a state of the art lazy clause solver designed from the
ground up with lazy clause generation in mind. Lazy clause generation
is a hybrid approach to constraint solving that combines features of
finite domain propagation and Boolean satisfiability. It combines some
of the advantages of finite domain constraint programming (high level
model and programmable search) with some of the advantages of SAT
solvers (reduced search by nogood creation, and effective autonomous
search using variable activities).
Chuffed only supports 3 different propagator priorities. Chuffed
implements a number of global propagators (alldiff, inverse, minimum,
table, regular, mdd, cumulative, disjunctive, circuit, difference). It
also only supports two kinds of integer variables. Small integer
variables for which the domain is represented by a byte string. And
large integer variables for which the domain is represented only by
its upper and lower bound (no holes allowed). All boolean variables
and boolean constraints are handled by the builtin SAT solver.
The solver, when run with lazy clause generation disabled, is somewhat
comparable in speed with older versions of Gecode. The overhead from
lazy clause generation ranges from negligible to perhaps around
100%. The search reduction, however, can reach orders of magnitude on
appropriate problems. Thus lazy clause generation is an extremely
important and useful technology.
The easiest way to use Chuffed is as a backend to the MiniZinc
constraint modelling language. Chuffed can also be used as a C++
library.
The description is edited from upstream's description, it went into
more detail than this about the implementation. For certain types of
CP problems it works better than the alternatives.
Chuffed is both a library and it provides a binary (fzn-chuffed). The
library can be used as a dependency for both minizinc and minizinc-ide
(which I maintain) and it provides an alternative flatzinc
implementation for minizinc.
I plan to maintain this under the Debian Science team.
As of now upstream is building chuffed as a static library only but
I'll try to convince them to provide a shared library before packaging
it.
--- End Message ---
--- Begin Message ---
Source: chuffed
Source-Version: 0.13.1-1
Done: Kari Pahula <k...@debian.org>
We believe that the bug you reported is fixed in the latest version of
chuffed, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1063...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Kari Pahula <k...@debian.org> (supplier of updated chuffed package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 10 Feb 2024 14:02:14 +0200
Source: chuffed
Binary: chuffed-flatzinc chuffed-flatzinc-dbgsym
Architecture: source amd64
Version: 0.13.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Kari Pahula <k...@debian.org>
Description:
chuffed-flatzinc - lazy clause generation FlatZinc implememntation
Closes: 1063388
Changes:
chuffed (0.13.1-1) unstable; urgency=medium
.
* Initial release. (Closes: #1063388)
* Use libmurmurhash instead of included implementation
Checksums-Sha1:
c92701d2317f2cf4b1418e1d6045f9c58acee51b 1999 chuffed_0.13.1-1.dsc
e8f87d7928252f31204731236bb4b88e80e93619 2144212 chuffed_0.13.1.orig.tar.xz
04bec9e341200588207eeb30f22c8a3039c6c22d 5008 chuffed_0.13.1-1.debian.tar.xz
448087607586cd48d5e7344426ca6a9ea82930de 6733280
chuffed-flatzinc-dbgsym_0.13.1-1_amd64.deb
e3f6291491b08508db02d3cc3af7d8ff5f259779 597988
chuffed-flatzinc_0.13.1-1_amd64.deb
ba3a43a7c710242c2e89d59d7656ed149d2a6e89 9195 chuffed_0.13.1-1_amd64.buildinfo
Checksums-Sha256:
0ef4fd93271258349835ea27079ed9387b370a7ea3d9170d6192ca2cb3779115 1999
chuffed_0.13.1-1.dsc
a9ff2adbb418c6a0fa42ed1350bfb0147596ed19b1e3fb26f00eee1f47eb1da4 2144212
chuffed_0.13.1.orig.tar.xz
c97803cfca407fff186b87de57a2e80e9bcecfa5c23da3fa741234a77cc35979 5008
chuffed_0.13.1-1.debian.tar.xz
15dff68555dbe2f4b44f4ee81a0be595bc1ac062fefc4174f6e475cbfa1e306b 6733280
chuffed-flatzinc-dbgsym_0.13.1-1_amd64.deb
91dc0f5ced9a1d89c064411af2ac75764ea3173ccae34f543a21988095ff821d 597988
chuffed-flatzinc_0.13.1-1_amd64.deb
c5cdd5d48939cadab7ee7991e7f26a3072de7797d44c26dafdd29616ca0396c7 9195
chuffed_0.13.1-1_amd64.buildinfo
Files:
e1c90281aec07348e3e8d51048a91919 1999 math optional chuffed_0.13.1-1.dsc
88fb588872604267542423204c69dc06 2144212 math optional
chuffed_0.13.1.orig.tar.xz
5631394694f8de351fe111b8e964bfad 5008 math optional
chuffed_0.13.1-1.debian.tar.xz
b534768cc8d33a200c559a6d1dbf9bc9 6733280 debug optional
chuffed-flatzinc-dbgsym_0.13.1-1_amd64.deb
058e7a91ccf7c7b211910bf7ced5c537 597988 math optional
chuffed-flatzinc_0.13.1-1_amd64.deb
0401cddd972a7c3d0a0f7ae2f4887523 9195 math optional
chuffed_0.13.1-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAmXOCrgACgkQhAhn7p2P
JlwGMA//ZHue05r3ghf3ZKndeSR8P5GwfJsG9FtVgIhbYIimOCfLqLsws61f28Uc
04TZY/8z4197/gViDaRUorPC88SeiyI4Zjp9+wY/gv42dStW5Q5Dyn3lXWh2bFKU
YMw44QZN1Sxmcxa9P8nJR2O+OBBdl66zwdEFJpknBZpJ0YR+Lr+W0SeR4N9eIYZr
iXffROyt5g/YjP+FYG7/olM+nWtDZs+OiGCsSn07jFuklPuCop2BdHku61o6lxh4
otr4np6fD/wqJzaLT7l71awiarfUBpxetpF1PGQX1b7eeVoqbKffKdq1V5ccO6Jg
RVh5ShH4WT3woATwOMt65LaV3g7MgGPDBnFJo5j2RaXUDKBp1Luk4F+1ddgjACaP
GX0gVYT5TVIktkvNYHE5v3MOa2i9WzZHoC817zoz/JO65uzc73BWs8zI1rnj7Do4
kDcgBW4VFQU3ik3QADLMeoQmcg0VYID1GuoPg6lvpQdzh60s2NUsxGU6dZhzPzav
HOFgGFJeJqAl6DT0QrCen7vCGv1bjTpo8GU9Zs1kEZEQ+kNTGwXuQwZRrs4Pzgqp
pMXlHE7BYia+JO0mPLXhowwpzPDFafffZh/l8JPhSVmM0+KZ+kmUN9rnykQqs4zf
oJgWozASsbCDg8pDJIjypWldfB95Dvsc3fKv4csd4d5D1KTqmoc=
=RVlQ
-----END PGP SIGNATURE-----
pgplAsuT4NvNm.pgp
Description: PGP signature
--- End Message ---
