Corentin Le Molgat 3a3066d52a flatzinc: backport from main

2025-11-05 12:05:41 +01:00

..

BUILD.bazel

Bump copyright to 2025

2025-01-10 11:33:35 +01:00

fzn_all_different_int.mzn

…

fzn_all_different_set.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_all_disjoint.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_all_equal_int.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_all_equal_set.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_arg_max_bool.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_arg_max_int.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_arg_min_bool.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_arg_min_int.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_bin_packing_capa.mzn

[FZ] supports bin_packing* macros, avoid costly expansion

2025-08-22 16:07:26 -07:00

fzn_bin_packing_load.mzn

[FZ] supports bin_packing* macros, avoid costly expansion

2025-08-22 16:07:26 -07:00

fzn_bin_packing.mzn

[FZ] supports bin_packing* macros, avoid costly expansion

2025-08-22 16:07:26 -07:00

fzn_circuit.mzn

…

fzn_count_eq.mzn

[FZ] use ortools_count_eq to reduce the size of fzn files

2025-03-21 19:47:01 -07:00

fzn_cumulative_opt.mzn

[FZ] support _opt disjunctive and cumulative constraints

2023-07-06 11:15:23 +02:00

fzn_cumulative.mzn

…

fzn_diffn_nonstrict.mzn

…

fzn_diffn.mzn

…

fzn_disjoint.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_disjunctive_opt.mzn

fix

2025-03-03 15:49:57 +01:00

fzn_disjunctive_strict_opt.mzn

[FZ] support _opt disjunctive and cumulative constraints

2023-07-06 11:15:23 +02:00

fzn_disjunctive_strict.mzn

add flatzinc support for disjunctive and disjunctive_strict

2023-07-05 16:10:53 +02:00

fzn_disjunctive.mzn

add flatzinc support for disjunctive and disjunctive_strict

2023-07-05 16:10:53 +02:00

fzn_global_cardinality_closed.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_global_cardinality_low_up_closed.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_global_cardinality_low_up.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_global_cardinality.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_inverse.mzn

…

fzn_lex_less_bool.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_lex_less_int.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_lex_lesseq_bool.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_lex_lesseq_int.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_network_flow_cost.mzn

robust fix to issue #4067

2024-01-25 13:26:12 +01:00

fzn_network_flow.mzn

robust fix to issue #4067

2024-01-25 13:26:12 +01:00

fzn_nvalue_reif.mzn

fix

2025-08-25 20:29:02 -07:00

fzn_nvalue.mzn

[FZ] refactor code; support nvalue natively

2025-08-25 17:27:25 -07:00

fzn_partition_set.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_regular.mzn

…

fzn_seq_precede_chain_int.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_subcircuit.mzn

…

fzn_table_bool.mzn

…

fzn_table_int.mzn

…

fzn_value_precede_chain_int.mzn

backport from main:

2025-09-16 16:25:04 +02:00

fzn_value_precede_int.mzn

backport from main:

2025-09-16 16:25:04 +02:00

nostrings.mzn

…

redefinitions-2.0.2.mzn

flatzinc: backport from main

2025-11-05 12:05:41 +01:00

redefinitions-2.0.mzn

[FZ] support set_le and set_lt; turn off the nosets flag

2025-08-21 20:21:33 -07:00