Debian NEW package overview for chuffed
chuffed_0.13.1-1_amd64.changes (click to toggle)
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-maintainers@lists.alioth.debian.org>
Changed-By:Kari Pahula <kaol@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
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
chuffed_0.13.1-1.dsc (click to toggle)
Format:3.0 (quilt)
Source:chuffed
Binary:chuffed-flatzinc
Architecture:any
Version:0.13.1-1
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:Kari Pahula <kaol@debian.org>,
Homepage:https://github.com/chuffed/chuffed
Standards-Version:4.6.2
Vcs-Browser:https://salsa.debian.org/science-team/chuffed
Vcs-Git:https://salsa.debian.org/science-team/chuffed.git
Build-Depends:debhelper-compat (=13), cmake, bison, flex, zlib1g-dev, libmurmurhash-dev, pkgconf
Package-List:chuffed-flatzinc deb math optional arch=any
Files:
88fb588872604267542423204c69dc06 2144212 chuffed_0.13.1.orig.tar.xz
5631394694f8de351fe111b8e964bfad 5008 chuffed_0.13.1-1.debian.tar.xz
lintian 2.104.0 check for chuffed_0.13.1-1.dsc (click to toggle)
README.source for chuffed_0.13.1-1.dsc (click to toggle)
No README.source in this package
control file for chuffed-flatzinc_0.13.1-1_amd64.deb (click to toggle)
Package:chuffed-flatzinc
Source:chuffed
Version:0.13.1-1
Architecture:amd64
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size:1716
Depends:libc6 (>=2.38), libgcc-s1 (>=3.0), libmurmurhash2 (>=0.2), libstdc++6 (>=13.1)
Recommends:minizinc
Section:math
Priority:optional
Multi-Arch:foreign
Homepage:https://github.com/chuffed/chuffed
Description:
lazy clause generation FlatZinc implememntation
 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.
 .
 This package provides a FlatZinc implementation, to be used as a
 MiniZinc backend.
lintian 2.104.0 check for chuffed-flatzinc_0.13.1-1_amd64.deb (click to toggle)
contents of chuffed-flatzinc_0.13.1-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2024-02-10 12:02 ./
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/bin/
-rwxr-xr-x root/root   1666480 2024-02-10 12:02 ./usr/bin/fzn-chuffed
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/share/
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/share/doc/
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/share/doc/chuffed-flatzinc/
-rw-r--r-- root/root       197 2024-02-10 12:02 ./usr/share/doc/chuffed-flatzinc/changelog.Debian.gz
-rw-r--r-- root/root      5408 2024-02-10 12:02 ./usr/share/doc/chuffed-flatzinc/copyright
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/share/minizinc/
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/share/minizinc/chuffed/
-rw-r--r-- root/root      2894 2024-02-10 11:32 ./usr/share/minizinc/chuffed/chuffed.mzn
-rw-r--r-- root/root      6616 2024-02-10 11:32 ./usr/share/minizinc/chuffed/edit_distance.mzn
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/share/minizinc/chuffed/experimental/
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/share/minizinc/chuffed/experimental/on_restart/
-rw-r--r-- root/root       233 2024-02-10 11:32 ./usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_complete.mzn
-rw-r--r-- root/root       269 2024-02-10 11:32 ./usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_last_val_bool.mzn
-rw-r--r-- root/root       262 2024-02-10 11:32 ./usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_last_val_int.mzn
-rw-r--r-- root/root       255 2024-02-10 11:32 ./usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_sol_bool.mzn
-rw-r--r-- root/root       248 2024-02-10 11:32 ./usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_sol_int.mzn
-rw-r--r-- root/root       687 2024-02-10 11:32 ./usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_status.mzn
-rw-r--r-- root/root       301 2024-02-10 11:32 ./usr/share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_uniform_int.mzn
-rw-r--r-- root/root       134 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_all_different_int.mzn
-rw-r--r-- root/root       367 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_arg_max_bool.mzn
-rw-r--r-- root/root       563 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_bounded_dpath_int.mzn
-rw-r--r-- root/root      1036 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_circuit.mzn
-rw-r--r-- root/root       339 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_connected.mzn
-rw-r--r-- root/root       490 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_cost_regular.mzn
-rw-r--r-- root/root       128 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_count_eq.mzn
-rw-r--r-- root/root       124 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_count_eq_par.mzn
-rw-r--r-- root/root       129 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_count_geq.mzn
-rw-r--r-- root/root       125 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_count_geq_par.mzn
-rw-r--r-- root/root       128 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_count_gt.mzn
-rw-r--r-- root/root       124 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_count_gt_par.mzn
-rw-r--r-- root/root       129 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_count_leq.mzn
-rw-r--r-- root/root       125 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_count_leq_par.mzn
-rw-r--r-- root/root       128 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_count_lt.mzn
-rw-r--r-- root/root       124 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_count_lt_par.mzn
-rw-r--r-- root/root      2816 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_cumulative.mzn
-rw-r--r-- root/root       321 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_dag.mzn
-rw-r--r-- root/root       636 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_disjunctive.mzn
-rw-r--r-- root/root       930 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_disjunctive_strict.mzn
-rw-r--r-- root/root       751 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_distribute.mzn
-rw-r--r-- root/root       449 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_dpath_int.mzn
-rw-r--r-- root/root       414 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_dtree_int.mzn
-rw-r--r-- root/root       748 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_global_cardinality_low_up.mzn
-rw-r--r-- root/root       284 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_inverse.mzn
-rw-r--r-- root/root       441 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_nvalue.mzn
-rw-r--r-- root/root       484 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_regular.mzn
-rw-r--r-- root/root       149 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_seq_precede_chain_int.mzn
-rw-r--r-- root/root       475 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_steiner.mzn
-rw-r--r-- root/root      2085 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_subcircuit.mzn
-rw-r--r-- root/root       192 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_table_int.mzn
-rw-r--r-- root/root       402 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_tree_int.mzn
-rw-r--r-- root/root       187 2024-02-10 11:32 ./usr/share/minizinc/chuffed/fzn_value_precede_int.mzn
-rw-r--r-- root/root      5050 2024-02-10 11:32 ./usr/share/minizinc/chuffed/redefinitions.mzn
-rw-r--r-- root/root        76 2024-02-10 11:32 ./usr/share/minizinc/chuffed/values_interchange.mzn
-rw-r--r-- root/root        74 2024-02-10 11:32 ./usr/share/minizinc/chuffed/values_sequences.mzn
-rw-r--r-- root/root        59 2024-02-10 11:32 ./usr/share/minizinc/chuffed/variables_interchange.mzn
-rw-r--r-- root/root        73 2024-02-10 11:32 ./usr/share/minizinc/chuffed/variables_sequences.mzn
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/share/minizinc/solvers/
-rw-r--r-- root/root      4186 2024-02-10 12:02 ./usr/share/minizinc/solvers/chuffed.msc
control file for chuffed-flatzinc-dbgsym_0.13.1-1_amd64.deb (click to toggle)
Package:chuffed-flatzinc-dbgsym
Source:chuffed
Version:0.13.1-1
Auto-Built-Package:debug-symbols
Architecture:amd64
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size:6789
Depends:chuffed-flatzinc (=0.13.1-1)
Section:debug
Priority:optional
Description:
debug symbols for chuffed-flatzinc
Build-Ids:0210c2039e77aa699e03cb64517a70c126bb2328
lintian 2.104.0 check for chuffed-flatzinc-dbgsym_0.13.1-1_amd64.deb (click to toggle)
contents of chuffed-flatzinc-dbgsym_0.13.1-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2024-02-10 12:02 ./
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/lib/
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/lib/debug/
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/lib/debug/.build-id/02/
-rw-r--r-- root/root   6941056 2024-02-10 12:02 ./usr/lib/debug/.build-id/02/10c2039e77aa699e03cb64517a70c126bb2328.debug
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/share/
drwxr-xr-x root/root         0 2024-02-10 12:02 ./usr/share/doc/
lrwxrwxrwx root/root         0 2024-02-10 12:02 ./usr/share/doc/chuffed-flatzinc-dbgsym -> chuffed-flatzinc

Timestamp: 15.02.2024 / 14:12:10 (UTC)