math/chuffed 0.14.0 FreeBSD
Lazy clause generation CP solver for MiniZinc
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
7cccbdb198- License
- MIT
- Categories
- math
- Package size
- 636.4 KiB, 2041.8 KiB installed
Description
The Chuffed CP solver backend for the MiniZinc constraint modelling language.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/chuffed | 0.14.0 |
| DragonFly | math/chuffed | 0.13.2 |
Install
Binary package:
pkg install chuffedFrom the ports tree:
cd /usr/ports/math/chuffed/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= chuffed>0:math/chuffed
LIB_DEPENDS= libchuffed.so:math/chuffedPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 0.14.0 | 0.14.0 | 0.10.4.20210104 | 0.13.2 | - |
| FreeBSD:14:quarterly | 0.14.0 | 0.14.0 | n/a | 0.13.2 | - |
| FreeBSD:15:latest | 0.14.0 | 0.14.0 | n/a | 0.13.2 | 0.13.2 |
| FreeBSD:15:quarterly | 0.14.0 | 0.14.0 | n/a | n/a | n/a |
| FreeBSD:16:latest | 0.14.0 | 0.14.0 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
The Makefile names none itself; they come from USES and USE_*.
The full lists below include those, and their dependencies in turn.
Build dependencies 18
Required by 3
Configuration
No options to configure.
- USES
- bison cmake compiler:c++11-lang
- Service scripts
- none
Files
pkg-plist 124
- 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-.cmake
- lib/cmake/chuffed/chuffed-targets.cmake
- lib/libchuffed.so
- lib/libchuffed_fzn.so
- share/chuffed/chuffed.mzn
- share/chuffed/edit_distance.mzn
- share/chuffed/experimental/assume/fzn_assume.mzn
- share/chuffed/experimental/blackbox/fzn_blackbox.mzn
- share/chuffed/experimental/blackbox/fzn_blackbox_bounds.mzn
- share/chuffed/experimental/on_restart/fzn_on_restart_complete.mzn
- share/chuffed/experimental/on_restart/fzn_on_restart_last_val_bool.mzn
- share/chuffed/experimental/on_restart/fzn_on_restart_last_val_int.mzn
- share/chuffed/experimental/on_restart/fzn_on_restart_sol_bool.mzn
- share/chuffed/experimental/on_restart/fzn_on_restart_sol_int.mzn
- share/chuffed/experimental/on_restart/fzn_on_restart_status.mzn
- share/chuffed/experimental/on_restart/fzn_on_restart_uniform_int.mzn
- share/chuffed/fzn_all_different_int.mzn
- share/chuffed/fzn_arg_max_bool.mzn
- share/chuffed/fzn_bounded_dpath_int.mzn
- share/chuffed/fzn_circuit.mzn
- share/chuffed/fzn_connected.mzn
- share/chuffed/fzn_cost_regular.mzn
- share/chuffed/fzn_count_eq.mzn
- share/chuffed/fzn_count_eq_par.mzn
- share/chuffed/fzn_count_geq.mzn
- share/chuffed/fzn_count_geq_par.mzn
- share/chuffed/fzn_count_gt.mzn
- share/chuffed/fzn_count_gt_par.mzn
- share/chuffed/fzn_count_leq.mzn
- share/chuffed/fzn_count_leq_par.mzn
- share/chuffed/fzn_count_lt.mzn
- share/chuffed/fzn_count_lt_par.mzn
- share/chuffed/fzn_cumulative.mzn
- share/chuffed/fzn_dag.mzn
- share/chuffed/fzn_disjunctive.mzn
- share/chuffed/fzn_disjunctive_strict.mzn
- share/chuffed/fzn_distribute.mzn
The first 100 are listed.
distinfo 2
| File | Size | SHA256 |
|---|---|---|
| chuffed-chuffed-0.14.0_GH0.tar.gz | 417729 | 8f0da88d498bc610d894b784da59f87e1e7570fe017dd7249cc90f6ae81f1267 |
| cp-profiler-cpp-integration-f16b313_GH0.tar.gz | 5214 | 871b081fbc4ee76077eccd388ff1c6063e0376f365eba2cb9d8ce0ab9a617275 |