BSD Portsmath/jacop 4.10.0 FreeBSD
Java Constraint Programming solver
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
f2f154a4bc- License
- AGPLv3
- Categories
- math, java
- Package size
- 2011.9 KiB, 2197.7 KiB installed
Description
JaCoP is an open-source Java Constraint Programming (JaCoP) solver. It provides a rich set of constraints to facilitate efficient modeling and solving of combinatorial problems. JaCoP can be used as a standalone Java library or as a backend for MiniZinc and other modeling languages.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/jacop | 4.10.0 |
| DragonFly | math/jacop | 4.8.0 |
Install
Binary package:
pkg install jacopFrom the ports tree:
cd /usr/ports/math/jacop/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= jacop>0:math/jacopPackages
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 | 4.10.0 | 4.10.0 | 4.8.0 | 4.8.0 | 4.10.0 |
| FreeBSD:14:quarterly | 4.10.0 | 4.10.0 | n/a | 4.8.0 | 4.10.0 |
| FreeBSD:15:latest | 4.10.0 | 4.10.0 | n/a | 4.8.0 | 4.8.0 |
| FreeBSD:15:quarterly | 4.10.0 | 4.10.0 | n/a | n/a | n/a |
| FreeBSD:16:latest | 4.10.0 | 4.10.0 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Build 1
maven38>0: devel/maven38
The full lists below include those, and their dependencies in turn.
Build dependencies 56
- archivers/brotli
- archivers/libdeflate
- archivers/liblz4
- archivers/zstd
- audio/alsa-lib
- converters/libiconv
- devel/gettext-runtime
- devel/glib20
- devel/libffi
- devel/libinotify
- devel/maven-wrapper
- devel/maven38
- devel/pcre2
- devel/py-packaging
- devel/readline
- graphics/giflib
- graphics/graphite2
- graphics/jbigkit
- graphics/jpeg-turbo
- graphics/lcms2
- graphics/lerc
- graphics/png
- graphics/tiff
- java/javavmwrapper
- java/openjdk17
- java/openjdk21
- lang/python312
- lang/python315
- math/mpdecimal
- print/freetype2
- print/harfbuzz
- print/indexinfo
- textproc/expat2
- x11-fonts/dejavu
- x11-fonts/encodings
- x11-fonts/font-bh-ttf
- x11-fonts/font-misc-ethiopic
- x11-fonts/font-misc-meltho
- x11-fonts/fontconfig
- x11-fonts/libfontenc
- x11-fonts/mkfontscale
- x11-fonts/xorg-fonts-truetype
- x11-toolkits/libXt
- x11/libICE
- x11/libSM
- x11/libX11
- x11/libXau
- x11/libXdmcp
- x11/libXext
- x11/libXfixes
- x11/libXi
- x11/libXrandr
- x11/libXrender
- x11/libXtst
- x11/libxcb
- x11/xorgproto
Run dependencies 53
- archivers/brotli
- archivers/libdeflate
- archivers/liblz4
- archivers/zstd
- audio/alsa-lib
- converters/libiconv
- devel/gettext-runtime
- devel/glib20
- devel/libffi
- devel/libinotify
- devel/pcre2
- devel/py-packaging
- devel/readline
- graphics/giflib
- graphics/graphite2
- graphics/jbigkit
- graphics/jpeg-turbo
- graphics/lcms2
- graphics/lerc
- graphics/png
- graphics/tiff
- java/javavmwrapper
- java/openjdk17
- lang/python312
- lang/python315
- math/mpdecimal
- print/freetype2
- print/harfbuzz
- print/indexinfo
- textproc/expat2
- x11-fonts/dejavu
- x11-fonts/encodings
- x11-fonts/font-bh-ttf
- x11-fonts/font-misc-ethiopic
- x11-fonts/font-misc-meltho
- x11-fonts/fontconfig
- x11-fonts/libfontenc
- x11-fonts/mkfontscale
- x11-fonts/xorg-fonts-truetype
- x11-toolkits/libXt
- x11/libICE
- x11/libSM
- x11/libX11
- x11/libXau
- x11/libXdmcp
- x11/libXext
- x11/libXfixes
- x11/libXi
- x11/libXrandr
- x11/libXrender
- x11/libXtst
- x11/libxcb
- x11/xorgproto
Required by 1
Configuration
No options to configure.
- USES
- java
- Service scripts
- none
Files
pkg-plist 119
- bin/fzn-jacop
- %%JAVAJARDIR%%/jacop-.jar
- share/minizinc/jacop/GCC.mzn
- share/minizinc/jacop/all_distinct.mzn
- share/minizinc/jacop/among_var.mzn
- share/minizinc/jacop/channel.mzn
- share/minizinc/jacop/diff2.mzn
- share/minizinc/jacop/fzn_all_different_int.mzn
- share/minizinc/jacop/fzn_all_equal_int.mzn
- share/minizinc/jacop/fzn_all_equal_int_reif.mzn
- share/minizinc/jacop/fzn_alldifferent_except_0.mzn
- share/minizinc/jacop/fzn_among.mzn
- share/minizinc/jacop/fzn_among_reif.mzn
- share/minizinc/jacop/fzn_arg_max_bool.mzn
- share/minizinc/jacop/fzn_arg_max_int.mzn
- share/minizinc/jacop/fzn_arg_min_bool.mzn
- share/minizinc/jacop/fzn_arg_min_int.mzn
- share/minizinc/jacop/fzn_at_least_int.mzn
- share/minizinc/jacop/fzn_at_least_int_reif.mzn
- share/minizinc/jacop/fzn_at_most_int.mzn
- share/minizinc/jacop/fzn_at_most_int_reif.mzn
- share/minizinc/jacop/fzn_bin_packing.mzn
- share/minizinc/jacop/fzn_bin_packing_capa.mzn
- share/minizinc/jacop/fzn_bin_packing_load.mzn
- share/minizinc/jacop/fzn_circuit.mzn
- share/minizinc/jacop/fzn_count_eq.mzn
- share/minizinc/jacop/fzn_count_eq_par.mzn
- share/minizinc/jacop/fzn_count_eq_par_reif.mzn
- share/minizinc/jacop/fzn_count_eq_reif.mzn
- share/minizinc/jacop/fzn_count_geq_par.mzn
- share/minizinc/jacop/fzn_count_geq_par_reif.mzn
- share/minizinc/jacop/fzn_count_gt_par.mzn
- share/minizinc/jacop/fzn_count_gt_par_reif.mzn
- share/minizinc/jacop/fzn_count_leq_par.mzn
- share/minizinc/jacop/fzn_count_leq_par_reif.mzn
- share/minizinc/jacop/fzn_count_lt_par.mzn
- share/minizinc/jacop/fzn_count_lt_par_reif.mzn
- share/minizinc/jacop/fzn_cumulative.mzn
- share/minizinc/jacop/fzn_cumulative_opt.mzn
- share/minizinc/jacop/fzn_decreasing_bool.mzn
- share/minizinc/jacop/fzn_decreasing_int.mzn
- share/minizinc/jacop/fzn_diffn.mzn
- share/minizinc/jacop/fzn_diffn_nonstrict.mzn
- share/minizinc/jacop/fzn_disjoint.mzn
- share/minizinc/jacop/fzn_disjunctive.mzn
- share/minizinc/jacop/fzn_disjunctive_strict.mzn
- share/minizinc/jacop/fzn_disjunctive_strict_opt.mzn
- share/minizinc/jacop/fzn_distribute.mzn
- share/minizinc/jacop/fzn_exactly_int.mzn
- share/minizinc/jacop/fzn_geost.mzn
- share/minizinc/jacop/fzn_geost_bb.mzn
- share/minizinc/jacop/fzn_global_cardinality.mzn
- share/minizinc/jacop/fzn_global_cardinality_closed.mzn
- share/minizinc/jacop/fzn_global_cardinality_low_up.mzn
- share/minizinc/jacop/fzn_global_cardinality_low_up_closed.mzn
- share/minizinc/jacop/fzn_if_then_else_bool.mzn
- share/minizinc/jacop/fzn_if_then_else_float.mzn
- share/minizinc/jacop/fzn_if_then_else_int.mzn
- share/minizinc/jacop/fzn_if_then_else_set.mzn
- share/minizinc/jacop/fzn_if_then_else_var_bool.mzn
- share/minizinc/jacop/fzn_if_then_else_var_float.mzn
- share/minizinc/jacop/fzn_if_then_else_var_int.mzn
- share/minizinc/jacop/fzn_if_then_else_var_set.mzn
- share/minizinc/jacop/fzn_increasing_bool.mzn
- share/minizinc/jacop/fzn_increasing_int.mzn
- share/minizinc/jacop/fzn_int_set_channel.mzn
- share/minizinc/jacop/fzn_inverse.mzn
- share/minizinc/jacop/fzn_knapsack.mzn
- share/minizinc/jacop/fzn_lex_less_bool.mzn
- share/minizinc/jacop/fzn_lex_less_int.mzn
- share/minizinc/jacop/fzn_lex_lesseq_bool.mzn
- share/minizinc/jacop/fzn_lex_lesseq_int.mzn
- share/minizinc/jacop/fzn_link_set_to_booleans.mzn
- share/minizinc/jacop/fzn_member_bool.mzn
- share/minizinc/jacop/fzn_member_bool_reif.mzn
- share/minizinc/jacop/fzn_member_int.mzn
- share/minizinc/jacop/fzn_member_int_reif.mzn
- share/minizinc/jacop/fzn_network_flow.mzn
- share/minizinc/jacop/fzn_network_flow_cost.mzn
- share/minizinc/jacop/fzn_nvalue.mzn
- share/minizinc/jacop/fzn_nvalue_reif.mzn
- share/minizinc/jacop/fzn_partition_set.mzn
- share/minizinc/jacop/fzn_regular.mzn
- share/minizinc/jacop/fzn_seq_precede_chain_int.mzn
- share/minizinc/jacop/fzn_strictly_decreasing_bool.mzn
- share/minizinc/jacop/fzn_strictly_decreasing_int.mzn
- share/minizinc/jacop/fzn_strictly_increasing_bool.mzn
- share/minizinc/jacop/fzn_strictly_increasing_int.mzn
- share/minizinc/jacop/fzn_subcircuit.mzn
- share/minizinc/jacop/fzn_table_bool.mzn
- share/minizinc/jacop/fzn_table_int.mzn
- share/minizinc/jacop/fzn_value_precede_chain_int.mzn
- share/minizinc/jacop/fzn_value_precede_int.mzn
- share/minizinc/jacop/graph/clique.mzn
- share/minizinc/jacop/graph/digraph_match.mzn
- share/minizinc/jacop/graph/fzn_clique.mzn
- share/minizinc/jacop/graph/fzn_clique_decomposed.mzn
- share/minizinc/jacop/graph/fzn_digraph_match.mzn
- share/minizinc/jacop/graph/fzn_digraph_match_decomposed.mzn
- share/minizinc/jacop/graph/fzn_graph_isomorphism.mzn
The first 100 are listed.
distinfo 2
| File | Size | SHA256 |
|---|---|---|
| jacop-4.10.0-deps.tar.gz | 1.14947101e+08 | b33d8c7abfd16ced30152af54e77b642fbb2b7b65322280f21f1ac8dbfd03ab1 |
| radsz-jacop-4.10.0_GH0.tar.gz | 1.54806479e+08 | 0983aae9f20ea2cdc747046bb079cf60ff697203ffa657b0d20d633d0b220270 |
Master sites 2
- LOCAL/yuri/:maven
- http://people.freebsd.org/~yuri/:maven