notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)Want a good monitor light? See my photosAll times are UTC		 Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
chuffed Lazy clause generation CP solver for MiniZinc
0.13.1 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.13.1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-05-03 19:00:08
Last Update: 2023-12-22 04:53:46
Commit Hash: 8b15ed6
License: MIT
WWW:
https://github.com/chuffed/chuffed
Description:
The Chuffed CP solver backend for the MiniZinc constraint modelling language.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (123 items)
Collapse this list.
  1. /usr/local/share/licenses/chuffed-0.13.1/catalog.mk
  2. /usr/local/share/licenses/chuffed-0.13.1/LICENSE
  3. /usr/local/share/licenses/chuffed-0.13.1/MIT
  4. bin/fzn-chuffed
  5. include/chuffed/branching/branching.h
  6. include/chuffed/branching/impact.h
  7. include/chuffed/branching/warm-start.h
  8. include/chuffed/core/assume.h
  9. include/chuffed/core/engine.h
  10. include/chuffed/core/options.h
  11. include/chuffed/core/propagator.h
  12. include/chuffed/core/sat-types.h
  13. include/chuffed/core/sat.h
  14. include/chuffed/flatzinc/ast.h
  15. include/chuffed/flatzinc/flatzinc.h
  16. include/chuffed/flatzinc/generated_parser/parser.tab.h
  17. include/chuffed/globals/EdExplFinder.h
  18. include/chuffed/globals/bounded_path.h
  19. include/chuffed/globals/dag.h
  20. include/chuffed/globals/dconnected.h
  21. include/chuffed/globals/dtree.h
  22. include/chuffed/globals/globals.h
  23. include/chuffed/globals/graph.h
  24. include/chuffed/globals/mddglobals.h
  25. include/chuffed/globals/tree.h
  26. include/chuffed/ldsb/ldsb.h
  27. include/chuffed/mdd/CFG.h
  28. include/chuffed/mdd/CYK.h
  29. include/chuffed/mdd/MDD.h
  30. include/chuffed/mdd/circ_fns.h
  31. include/chuffed/mdd/circutil.h
  32. include/chuffed/mdd/mdd_prop.h
  33. include/chuffed/mdd/mdd_to_lgraph.h
  34. include/chuffed/mdd/opcache.h
  35. include/chuffed/mdd/opts.h
  36. include/chuffed/mdd/sorters.h
  37. include/chuffed/mdd/weighted_dfa.h
  38. include/chuffed/mdd/wmdd_prop.h
  39. include/chuffed/mip/mip.h
  40. include/chuffed/mip/simplex.h
  41. include/chuffed/primitives/primitives.h
  42. include/chuffed/support/BVec.h
  43. include/chuffed/support/ParseUtils.h
  44. include/chuffed/support/dijkstra.h
  45. include/chuffed/support/dynamic_kmeans.h
  46. include/chuffed/support/floyd_warshall.h
  47. include/chuffed/support/heap.h
  48. include/chuffed/support/kosaraju_scc.h
  49. include/chuffed/support/lengauer_tarjan.h
  50. include/chuffed/support/misc.h
  51. include/chuffed/support/set_finder.h
  52. include/chuffed/support/sparse_set.h
  53. include/chuffed/support/trailed_cst_list.h
  54. include/chuffed/support/union_find.h
  55. include/chuffed/support/vec.h
  56. include/chuffed/vars/bool-view.h
  57. include/chuffed/vars/int-var-el.h
  58. include/chuffed/vars/int-var-ll.h
  59. include/chuffed/vars/int-var-sl.h
  60. include/chuffed/vars/int-var.h
  61. include/chuffed/vars/int-view.h
  62. include/chuffed/vars/modelling.h
  63. include/chuffed/vars/vars.h
  64. lib/cmake/chuffed/chuffed-config-version.cmake
  65. lib/cmake/chuffed/chuffed-config.cmake
  66. lib/cmake/chuffed/chuffed-targets-release.cmake
  67. lib/cmake/chuffed/chuffed-targets.cmake
  68. lib/libchuffed.so
  69. lib/libchuffed_fzn.so
  70. share/minizinc/chuffed/chuffed.mzn
  71. share/minizinc/chuffed/edit_distance.mzn
  72. share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_complete.mzn
  73. share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_last_val_bool.mzn
  74. share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_last_val_int.mzn
  75. share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_sol_bool.mzn
  76. share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_sol_int.mzn
  77. share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_status.mzn
  78. share/minizinc/chuffed/experimental/on_restart/fzn_on_restart_uniform_int.mzn
  79. share/minizinc/chuffed/fzn_all_different_int.mzn
  80. share/minizinc/chuffed/fzn_arg_max_bool.mzn
  81. share/minizinc/chuffed/fzn_bounded_dpath_int.mzn
  82. share/minizinc/chuffed/fzn_circuit.mzn
  83. share/minizinc/chuffed/fzn_connected.mzn
  84. share/minizinc/chuffed/fzn_cost_regular.mzn
  85. share/minizinc/chuffed/fzn_count_eq.mzn
  86. share/minizinc/chuffed/fzn_count_eq_par.mzn
  87. share/minizinc/chuffed/fzn_count_geq.mzn
  88. share/minizinc/chuffed/fzn_count_geq_par.mzn
  89. share/minizinc/chuffed/fzn_count_gt.mzn
  90. share/minizinc/chuffed/fzn_count_gt_par.mzn
  91. share/minizinc/chuffed/fzn_count_leq.mzn
  92. share/minizinc/chuffed/fzn_count_leq_par.mzn
  93. share/minizinc/chuffed/fzn_count_lt.mzn
  94. share/minizinc/chuffed/fzn_count_lt_par.mzn
  95. share/minizinc/chuffed/fzn_cumulative.mzn
  96. share/minizinc/chuffed/fzn_dag.mzn
  97. share/minizinc/chuffed/fzn_disjunctive.mzn
  98. share/minizinc/chuffed/fzn_disjunctive_strict.mzn
  99. share/minizinc/chuffed/fzn_distribute.mzn
  100. share/minizinc/chuffed/fzn_dpath_int.mzn
  101. share/minizinc/chuffed/fzn_dtree_int.mzn
  102. share/minizinc/chuffed/fzn_global_cardinality_low_up.mzn
  103. share/minizinc/chuffed/fzn_inverse.mzn
  104. share/minizinc/chuffed/fzn_nvalue.mzn
  105. share/minizinc/chuffed/fzn_regular.mzn
  106. share/minizinc/chuffed/fzn_seq_precede_chain_int.mzn
  107. share/minizinc/chuffed/fzn_steiner.mzn
  108. share/minizinc/chuffed/fzn_subcircuit.mzn
  109. share/minizinc/chuffed/fzn_table_int.mzn
  110. share/minizinc/chuffed/fzn_tree_int.mzn
  111. share/minizinc/chuffed/fzn_value_precede_int.mzn
  112. share/minizinc/chuffed/redefinitions.mzn
  113. share/minizinc/chuffed/values_interchange.mzn
  114. share/minizinc/chuffed/values_sequences.mzn
  115. share/minizinc/chuffed/variables_interchange.mzn
  116. share/minizinc/chuffed/variables_sequences.mzn
  117. share/minizinc/solvers/chuffed.msc
  118. @dir include/chuffed/examples
  119. @dir include/chuffed/flatzinc/mznlib/experimental/on_restart
  120. @dir include/chuffed/mzn-models
  121. @owner
  122. @group
  123. @mode
Collapse this list.
Dependency lines:
  • chuffed>0:math/chuffed
To install the port:
cd /usr/ports/math/chuffed/ && make install clean
To add the package, run one of these commands:
  • pkg install math/chuffed
  • pkg install chuffed
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: chuffed
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1703218451 SHA256 (chuffed-chuffed-0.13.1_GH0.tar.gz) = 7408d35e85559ecbf4b5b7ef8aa2278e536b1231dc29e18b0b2f9a7e878a1bc0 SIZE (chuffed-chuffed-0.13.1_GH0.tar.gz) = 404998

Expand this list (2 items)

Collapse this list.

SHA256 (cp-profiler-cpp-integration-f16b313_GH0.tar.gz) = 871b081fbc4ee76077eccd388ff1c6063e0376f365eba2cb9d8ce0ab9a617275 SIZE (cp-profiler-cpp-integration-f16b313_GH0.tar.gz) = 5214

Collapse this list.

Packages (timestamps in pop-ups are UTC):
chuffed
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest0.13.10.13.1-0.13.10.13.1---
FreeBSD:13:quarterly0.13.10.13.10.12.10.13.10.13.10.13.10.13.10.13.1
FreeBSD:14:latest0.13.10.13.10.10.4.202101040.13.10.13.10.12.0-0.12.0
FreeBSD:14:quarterly0.13.10.13.1-0.13.10.13.10.13.10.13.10.13.1
FreeBSD:15:latest0.13.10.13.1n/a0.13.1n/a0.13.10.13.10.13.1
FreeBSD:15:quarterly--n/a-n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. bison : devel/bison
  2. cmake : devel/cmake-core
  3. ninja : devel/ninja
This port is required by:
for Run
  1. math/minizinc-solvers
Configuration Options:
No options to configure
Options name:
math_chuffed
USES:
bison cmake compiler:c++11-lang
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/chuffed/chuffed/tar.gz/0.13.1?dummy=/
Collapse this list.

Number of commits found: 9

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
0.13.1
22 Dec 2023 04:53:46
commit hash: 8b15ed6b5e1cf0ccf46a91e498a35da4cc439033commit hash: 8b15ed6b5e1cf0ccf46a91e498a35da4cc439033commit hash: 8b15ed6b5e1cf0ccf46a91e498a35da4cc439033commit hash: 8b15ed6b5e1cf0ccf46a91e498a35da4cc439033 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/chuffed: update 0.13.0 → 0.13.1

Reported by:	portscout
0.13.0_1
06 Nov 2023 02:07:07
commit hash: 249081720a998361c3ec20087ae0c4a572e45016commit hash: 249081720a998361c3ec20087ae0c4a572e45016commit hash: 249081720a998361c3ec20087ae0c4a572e45016commit hash: 249081720a998361c3ec20087ae0c4a572e45016 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/chuffed: Remove GH_TAGNAME

It was left over in the previous update by mistake.
0.13.0
05 Nov 2023 17:15:54
commit hash: 2ee76bf4a511b4d84c8bc66f039b67c0dd7b7255commit hash: 2ee76bf4a511b4d84c8bc66f039b67c0dd7b7255commit hash: 2ee76bf4a511b4d84c8bc66f039b67c0dd7b7255commit hash: 2ee76bf4a511b4d84c8bc66f039b67c0dd7b7255 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/chuffed: update 0.12.1 → 0.13.0

Reported by:	portscout
0.12.1
22 Jun 2023 04:01:11
commit hash: 996ec8ea6e49a7cb7744a4bb6fb2137fc9ed7589commit hash: 996ec8ea6e49a7cb7744a4bb6fb2137fc9ed7589commit hash: 996ec8ea6e49a7cb7744a4bb6fb2137fc9ed7589commit hash: 996ec8ea6e49a7cb7744a4bb6fb2137fc9ed7589 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/chuffed: Update 0.12.0 → 0.12.1

Reported by:	portscout
0.12.0
28 May 2023 23:41:07
commit hash: 23cfb85c303528bcc9039f309dfe8bb059db5819commit hash: 23cfb85c303528bcc9039f309dfe8bb059db5819commit hash: 23cfb85c303528bcc9039f309dfe8bb059db5819commit hash: 23cfb85c303528bcc9039f309dfe8bb059db5819 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/chuffed: Update 0.10.4.20210104 → 0.12.0

Reported by:	portscout
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit		 Stefan Eßer (se) search for other commits by this committer 
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
0.10.4.20210104
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit		 Stefan Eßer (se) search for other commits by this committer 
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
0.10.4.20210104
04 May 2021 00:39:47
commit hash: 420f1411e09e589f6ffe4c78a66a1870fe05db15commit hash: 420f1411e09e589f6ffe4c78a66a1870fe05db15commit hash: 420f1411e09e589f6ffe4c78a66a1870fe05db15commit hash: 420f1411e09e589f6ffe4c78a66a1870fe05db15 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/chuffed: Update 0.10.4 -> 0.10.4.20210104 (devel branch)
0.10.4
03 May 2021 18:59:07
commit hash: 6ae00aea2cdbffa61b2a70d222d6d453e50cd9fbcommit hash: 6ae00aea2cdbffa61b2a70d222d6d453e50cd9fbcommit hash: 6ae00aea2cdbffa61b2a70d222d6d453e50cd9fbcommit hash: 6ae00aea2cdbffa61b2a70d222d6d453e50cd9fb files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
New port: math/chuffed: Lazy clause generation CP solver for MiniZinc

Number of commits found: 9
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
electron27Apr 18
electron28Apr 18
electron29Apr 18
filezillaApr 16
php81Apr 16
php82Apr 16
php83Apr 16
puttyApr 16
putty-nogtkApr 16
go121Apr 15
go122Apr 15
chromiumApr 12
ungoogled-chromiumApr 12
electron27Apr 11
electron28Apr 11

15 vulnerabilities affecting 253 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2024-04-18 11:12:36 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 32211
Broken 87
Deprecated 184
Ignore 219
Forbidden 2
Restricted 2
No CDROM 1
Vulnerable 44
Expired 8
Set to expire 158
Interactive 0
new 24 hours 2
new 48 hours2
new 7 days9
new fortnight60
new month180
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2024 Dan Langille. All rights reserved.