CVS commit: pkgsrc/math/chuffed

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sat Oct 10 00:36:41 UTC 2026

Added Files:
        pkgsrc/math/chuffed: DESCR Makefile PLIST distinfo

Log Message:
Initial import of math/chuffed, version 0.14.0.

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.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/math/chuffed/DESCR pkgsrc/math/chuffed/Makefile \
    pkgsrc/math/chuffed/PLIST pkgsrc/math/chuffed/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/math/chuffed/DESCR
diff -u /dev/null pkgsrc/math/chuffed/DESCR:1.1
--- /dev/null   Sat Oct 10 00:36:41 2026
+++ pkgsrc/math/chuffed/DESCR   Sat Oct 10 00:36:41 2026
@@ -0,0 +1,5 @@
+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.
Index: pkgsrc/math/chuffed/Makefile
diff -u /dev/null pkgsrc/math/chuffed/Makefile:1.1
--- /dev/null   Sat Oct 10 00:36:41 2026
+++ pkgsrc/math/chuffed/Makefile        Sat Oct 10 00:36:41 2026
@@ -0,0 +1,22 @@
+# $NetBSD: Makefile,v 1.1 2026/10/10 00:36:41 alnsn Exp $
+
+DISTNAME=      chuffed-0.14.0
+CATEGORIES=    math
+MASTER_SITES=  ${MASTER_SITE_GITHUB:=chuffed/}
+GITHUB_TAG=    ${PKGVERSION_NOREV}
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=      https://github.com/chuffed/chuffed
+COMMENT=       The Chuffed CP solver
+LICENSE=       mit
+
+USE_LANGUAGES= c c++
+USE_TOOLS+=    bison flex
+
+CMAKE_CONFIGURE_ARGS+= -DCMAKE_BUILD_TYPE=Release
+CMAKE_CONFIGURE_ARGS+= -DCP_PROFILER=OFF
+
+.include "../../devel/cmake/build.mk"
+.include "../../devel/zlib/buildlink3.mk"
+.include "../../mk/pthread.buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/math/chuffed/PLIST
diff -u /dev/null pkgsrc/math/chuffed/PLIST:1.1
--- /dev/null   Sat Oct 10 00:36:41 2026
+++ pkgsrc/math/chuffed/PLIST   Sat Oct 10 00:36:41 2026
@@ -0,0 +1,125 @@
+@comment $NetBSD: PLIST,v 1.1 2026/10/10 00:36:41 alnsn Exp $
+bin/fzn-chuffed
+include/chuffed/branching/branching.h
+include/chuffed/branching/impact.h
+include/chuffed/branching/warm-start.h
+include/chuffed/core/assume.h
+include/chuffed/core/engine.h
+include/chuffed/core/options.h
+include/chuffed/core/propagator.h
+include/chuffed/core/sat-types.h
+include/chuffed/core/sat.h
+include/chuffed/flatzinc/ast.h
+include/chuffed/flatzinc/flatzinc.h
+include/chuffed/flatzinc/generated_parser/parser.tab.h
+include/chuffed/globals/EdExplFinder.h
+include/chuffed/globals/blackbox.h
+include/chuffed/globals/bounded_path.h
+include/chuffed/globals/dag.h
+include/chuffed/globals/dconnected.h
+include/chuffed/globals/dtree.h
+include/chuffed/globals/globals.h
+include/chuffed/globals/graph.h
+include/chuffed/globals/mddglobals.h
+include/chuffed/globals/tree.h
+include/chuffed/ldsb/ldsb.h
+include/chuffed/mdd/CFG.h
+include/chuffed/mdd/CYK.h
+include/chuffed/mdd/MDD.h
+include/chuffed/mdd/circ_fns.h
+include/chuffed/mdd/circutil.h
+include/chuffed/mdd/mdd_prop.h
+include/chuffed/mdd/mdd_to_lgraph.h
+include/chuffed/mdd/opcache.h
+include/chuffed/mdd/opts.h
+include/chuffed/mdd/sorters.h
+include/chuffed/mdd/weighted_dfa.h
+include/chuffed/mdd/wmdd_prop.h
+include/chuffed/mip/mip.h
+include/chuffed/mip/simplex.h
+include/chuffed/primitives/primitives.h
+include/chuffed/support/BVec.h
+include/chuffed/support/ParseUtils.h
+include/chuffed/support/dijkstra.h
+include/chuffed/support/dynamic_kmeans.h
+include/chuffed/support/floyd_warshall.h
+include/chuffed/support/heap.h
+include/chuffed/support/kosaraju_scc.h
+include/chuffed/support/lengauer_tarjan.h
+include/chuffed/support/misc.h
+include/chuffed/support/set_finder.h
+include/chuffed/support/sparse_set.h
+include/chuffed/support/trailed_cst_list.h
+include/chuffed/support/union_find.h
+include/chuffed/support/vec.h
+include/chuffed/vars/bool-view.h
+include/chuffed/vars/int-var-el.h
+include/chuffed/vars/int-var-ll.h
+include/chuffed/vars/int-var-sl.h
+include/chuffed/vars/int-var.h
+include/chuffed/vars/int-view.h
+include/chuffed/vars/modelling.h
+include/chuffed/vars/vars.h
+lib/cmake/chuffed/chuffed-config-version.cmake
+lib/cmake/chuffed/chuffed-config.cmake
+lib/cmake/chuffed/chuffed-targets-release.cmake
+lib/cmake/chuffed/chuffed-targets.cmake
+lib/libchuffed.a
+lib/libchuffed_fzn.a
+share/minizinc/chuffed/chuffed.mzn
+share/minizinc/chuffed/edit_distance.mzn
+share/minizinc/chuffed/experimental/assume/fzn_assume.mzn
+share/minizinc/chuffed/experimental/blackbox/fzn_blackbox.mzn
+share/minizinc/chuffed/experimental/blackbox/fzn_blackbox_bounds.mzn
+share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_complete.mzn
+share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_last_val_bool.mzn
+share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_last_val_int.mzn
+share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_sol_bool.mzn
+share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_sol_int.mzn
+share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_status.mzn
+share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_uniform_int.mzn
+share/minizinc/chuffed/fzn_all_different_int.mzn
+share/minizinc/chuffed/fzn_arg_max_bool.mzn
+share/minizinc/chuffed/fzn_bounded_dpath_int.mzn
+share/minizinc/chuffed/fzn_circuit.mzn
+share/minizinc/chuffed/fzn_connected.mzn
+share/minizinc/chuffed/fzn_cost_regular.mzn
+share/minizinc/chuffed/fzn_count_eq.mzn
+share/minizinc/chuffed/fzn_count_eq_par.mzn
+share/minizinc/chuffed/fzn_count_geq.mzn
+share/minizinc/chuffed/fzn_count_geq_par.mzn
+share/minizinc/chuffed/fzn_count_gt.mzn
+share/minizinc/chuffed/fzn_count_gt_par.mzn
+share/minizinc/chuffed/fzn_count_leq.mzn
+share/minizinc/chuffed/fzn_count_leq_par.mzn
+share/minizinc/chuffed/fzn_count_lt.mzn
+share/minizinc/chuffed/fzn_count_lt_par.mzn
+share/minizinc/chuffed/fzn_cumulative.mzn
+share/minizinc/chuffed/fzn_dag.mzn
+share/minizinc/chuffed/fzn_disjunctive.mzn
+share/minizinc/chuffed/fzn_disjunctive_strict.mzn
+share/minizinc/chuffed/fzn_distribute.mzn
+share/minizinc/chuffed/fzn_dpath_int.mzn
+share/minizinc/chuffed/fzn_dtree_int.mzn
+share/minizinc/chuffed/fzn_global_cardinality_low_up.mzn
+share/minizinc/chuffed/fzn_inverse.mzn
+share/minizinc/chuffed/fzn_nvalue.mzn
+share/minizinc/chuffed/fzn_regular.mzn
+share/minizinc/chuffed/fzn_seq_precede_chain_int.mzn
+share/minizinc/chuffed/fzn_steiner.mzn
+share/minizinc/chuffed/fzn_subcircuit.mzn
+share/minizinc/chuffed/fzn_table_int.mzn
+share/minizinc/chuffed/fzn_tree_int.mzn
+share/minizinc/chuffed/fzn_value_precede_int.mzn
+share/minizinc/chuffed/redefinitions-2.0.mzn
+share/minizinc/chuffed/redefinitions.mzn
+share/minizinc/chuffed/values_interchange.mzn
+share/minizinc/chuffed/values_sequences.mzn
+share/minizinc/chuffed/variables_interchange.mzn
+share/minizinc/chuffed/variables_sequences.mzn
+share/minizinc/solvers/chuffed.msc
+@pkgdir include/chuffed/mzn-models
+@pkgdir include/chuffed/flatzinc/mznlib/experimental/on_restart
+@pkgdir include/chuffed/flatzinc/mznlib/experimental/blackbox
+@pkgdir include/chuffed/flatzinc/mznlib/experimental/assume
+@pkgdir include/chuffed/examples
Index: pkgsrc/math/chuffed/distinfo
diff -u /dev/null pkgsrc/math/chuffed/distinfo:1.1
--- /dev/null   Sat Oct 10 00:36:41 2026
+++ pkgsrc/math/chuffed/distinfo        Sat Oct 10 00:36:41 2026
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1 2026/10/10 00:36:41 alnsn Exp $
+
+BLAKE2s (chuffed-0.14.0.tar.gz) = cb9607eb5adb573e3ec87602ee86209c2083a66273b087de188a1ef9247b9772
+SHA512 (chuffed-0.14.0.tar.gz) = 2a2d423abcb3866403790d43ef91ca7237c7b950d59711100e277e8ad405b1b0b87ccba12515d37e34fd53f9f3a2c150f45edffe36c4f1eaa099c0cdf1e66e6f
+Size (chuffed-0.14.0.tar.gz) = 417729 bytes