OpenSuSE Ports Tumbleweed for riscv64 : / usr /share /minizinc /std

• all_different.mzn
• all_different_except.mzn
• all_different_except_0.mzn
• all_different_int.mzn
• all_different_int.mzn.deprecated.mzn
• all_different_set.mzn
• all_different_set.mzn.deprecated.mzn
• all_disjoint.mzn
• all_equal.mzn
• all_equal_int.mzn
• all_equal_int.mzn.deprecated.mzn
• all_equal_set.mzn
• all_equal_set.mzn.deprecated.mzn
• alldifferent.mzn
• alldifferent_except.mzn
• alldifferent_except_0.mzn
• alternative.mzn
• among.mzn
• among_fn.mzn
• analyse_all_different.mzn
• arg_max.mzn
• arg_max_bool.mzn
• arg_max_bool.mzn.deprecated.mzn
• arg_max_float.mzn
• arg_max_float.mzn.deprecated.mzn
• arg_max_int.mzn
• arg_max_int.mzn.deprecated.mzn
• arg_min.mzn
• arg_min_bool.mzn
• arg_min_bool.mzn.deprecated.mzn
• arg_min_float.mzn
• arg_min_float.mzn.deprecated.mzn
• arg_min_int.mzn
• arg_min_int.mzn.deprecated.mzn
• arg_sort.mzn
• arg_sort_float.mzn
• arg_sort_float.mzn.deprecated.mzn
• arg_sort_int.mzn
• arg_sort_int.mzn.deprecated.mzn
• arg_val.mzn
• at_least.mzn
• at_least.mzn.deprecated.mzn
• at_least_int.mzn
• at_least_set.mzn
• at_most.mzn
• at_most.mzn.deprecated.mzn
• at_most1.mzn
• at_most_int.mzn
• at_most_set.mzn
• atleast.mzn
• atmost.mzn
• atmost1.mzn
• bin_packing.mzn
• bin_packing_capa.mzn
• bin_packing_load.mzn
• bin_packing_load_fn.mzn
• bounded_path.mzn
• circuit.mzn
• circuit_opt.mzn
• connected.mzn
• cost_mdd.mzn
• cost_regular.mzn
• count.mzn
• count_eq.mzn
• count_fn.mzn
• count_geq.mzn
• count_gt.mzn
• count_leq.mzn
• count_lt.mzn
• count_neq.mzn
• cumulative.mzn
• cumulative_opt.mzn
• cumulatives.mzn
• dag.mzn
• decreasing.mzn
• decreasing_bool.mzn
• decreasing_bool.mzn.deprecated.mzn
• decreasing_float.mzn
• decreasing_float.mzn.deprecated.mzn
• decreasing_int.mzn
• decreasing_int.mzn.deprecated.mzn
• decreasing_set.mzn
• decreasing_set.mzn.deprecated.mzn
• diffn.mzn
• diffn_k.mzn
• diffn_nonstrict.mzn
• diffn_nonstrict_k.mzn
• disjoint.mzn
• disjunctive.mzn
• disjunctive_opt.mzn
• disjunctive_strict.mzn
• disjunctive_strict_opt.mzn
• distribute.mzn
• distribute_fn.mzn
• element.mzn
• element_bool.mzn
• element_bool.mzn.deprecated.mzn
• element_float.mzn
• element_float.mzn.deprecated.mzn
• element_int.mzn
• element_int.mzn.deprecated.mzn
• element_set.mzn
• element_set.mzn.deprecated.mzn
• exactly.mzn
• exactly.mzn.deprecated.mzn
• exactly_int.mzn
• exactly_set.mzn
• experimental
• experimental.mzn
• flatzinc_builtins.mzn
• fzn_all_different_int.mzn
• fzn_all_different_int_opt.mzn
• fzn_all_different_int_reif.mzn
• fzn_all_different_set.mzn
• fzn_all_different_set_reif.mzn
• fzn_all_disjoint.mzn
• fzn_all_disjoint_reif.mzn
• fzn_all_equal_int.mzn
• fzn_all_equal_int_reif.mzn
• fzn_all_equal_set.mzn
• fzn_all_equal_set_reif.mzn
• fzn_alldifferent_except.mzn
• fzn_alldifferent_except_0.mzn
• fzn_alldifferent_except_0_reif.mzn
• fzn_alldifferent_except_reif.mzn
• fzn_alternative.mzn
• fzn_alternative_reif.mzn
• fzn_among.mzn
• fzn_among_reif.mzn
• fzn_arg_max_bool.mzn
• fzn_arg_max_bool_opt.mzn
• fzn_arg_max_float.mzn
• fzn_arg_max_float_opt.mzn
• fzn_arg_max_int.mzn
• fzn_arg_max_int_opt.mzn
• fzn_arg_min_bool.mzn
• fzn_arg_min_bool_opt.mzn
• fzn_arg_min_float.mzn
• fzn_arg_min_float_opt.mzn
• fzn_arg_min_int.mzn
• fzn_arg_min_int_opt.mzn
• fzn_arg_sort_float.mzn
• fzn_arg_sort_float_reif.mzn
• fzn_arg_sort_int.mzn
• fzn_arg_sort_int_reif.mzn
• fzn_arg_val_bool.mzn
• fzn_arg_val_bool_opt.mzn
• fzn_arg_val_float.mzn
• fzn_arg_val_float_opt.mzn
• fzn_arg_val_int.mzn
• fzn_arg_val_int_opt.mzn
• fzn_array_int_union.mzn
• fzn_array_opt_int_union.mzn
• fzn_array_set_intersect.mzn
• fzn_array_set_union.mzn
• fzn_at_least_int.mzn
• fzn_at_least_int_reif.mzn
• fzn_at_least_set.mzn
• fzn_at_least_set_reif.mzn
• fzn_at_most1.mzn
• fzn_at_most1_reif.mzn
• fzn_at_most_int.mzn
• fzn_at_most_int_reif.mzn
• fzn_at_most_set.mzn
• fzn_at_most_set_reif.mzn
• fzn_bin_packing.mzn
• fzn_bin_packing_capa.mzn
• fzn_bin_packing_capa_reif.mzn
• fzn_bin_packing_load.mzn
• fzn_bin_packing_load_reif.mzn
• fzn_bin_packing_reif.mzn
• fzn_bounded_dpath_enum.mzn
• fzn_bounded_dpath_enum_reif.mzn
• fzn_bounded_dpath_int.mzn
• fzn_bounded_dpath_int_reif.mzn
• fzn_bounded_path_enum.mzn
• fzn_bounded_path_enum_reif.mzn
• fzn_bounded_path_int.mzn
• fzn_bounded_path_int_reif.mzn
• fzn_circuit.mzn
• fzn_circuit_opt.mzn
• fzn_circuit_opt_reif.mzn
• fzn_circuit_reif.mzn
• fzn_connected.mzn
• fzn_connected_reif.mzn
• fzn_cost_mdd.mzn
• fzn_cost_mdd_reif.mzn
• fzn_cost_regular.mzn
• fzn_cost_regular_reif.mzn
• fzn_count_eq.mzn
• fzn_count_eq_par.mzn
• fzn_count_eq_par_reif.mzn
• fzn_count_eq_reif.mzn
• fzn_count_geq.mzn
• fzn_count_geq_par.mzn
• fzn_count_geq_par_reif.mzn
• fzn_count_geq_reif.mzn
• fzn_count_gt.mzn
• fzn_count_gt_par.mzn
• fzn_count_gt_par_reif.mzn
• fzn_count_gt_reif.mzn
• fzn_count_leq.mzn
• fzn_count_leq_par.mzn
• fzn_count_leq_par_reif.mzn
• fzn_count_leq_reif.mzn
• fzn_count_lt.mzn
• fzn_count_lt_par.mzn
• fzn_count_lt_par_reif.mzn
• fzn_count_lt_reif.mzn
• fzn_count_neq.mzn
• fzn_count_neq_par.mzn
• fzn_count_neq_par_reif.mzn
• fzn_count_neq_reif.mzn
• fzn_cumulative.mzn
• fzn_cumulative_opt.mzn
• fzn_cumulative_opt_decomp.mzn
• fzn_cumulative_opt_reif.mzn
• fzn_cumulative_reif.mzn
• fzn_cumulatives.mzn
• fzn_cumulatives_decomp.mzn
• fzn_dag.mzn
• fzn_dag_reif.mzn
• fzn_dconnected.mzn
• fzn_dconnected_reif.mzn
• fzn_diffn.mzn
• fzn_diffn_k.mzn
• fzn_diffn_k_reif.mzn
• fzn_diffn_nonstrict.mzn
• fzn_diffn_nonstrict_k.mzn
• fzn_diffn_nonstrict_k_reif.mzn
• fzn_diffn_nonstrict_reif.mzn
• fzn_diffn_reif.mzn
• fzn_disjoint.mzn
• fzn_disjoint_reif.mzn
• fzn_disjunctive.mzn
• fzn_disjunctive_opt.mzn
• fzn_disjunctive_opt_reif.mzn
• fzn_disjunctive_reif.mzn
• fzn_disjunctive_strict.mzn
• fzn_disjunctive_strict_opt.mzn
• fzn_disjunctive_strict_opt_decomp.mzn
• fzn_disjunctive_strict_opt_reif.mzn
• fzn_disjunctive_strict_reif.mzn
• fzn_distribute.mzn
• fzn_distribute_reif.mzn
• fzn_dpath_enum.mzn
• fzn_dpath_enum_reif.mzn
• fzn_dpath_int.mzn
• fzn_dpath_int_reif.mzn
• fzn_dreachable_enum.mzn
• fzn_dreachable_enum_reif.mzn
• fzn_dreachable_int.mzn
• fzn_dreachable_int_reif.mzn
• fzn_dsteiner.mzn
• fzn_dsteiner_reif.mzn
• fzn_dtree_enum.mzn
• fzn_dtree_enum_reif.mzn
• fzn_dtree_int.mzn
• fzn_dtree_int_reif.mzn
• fzn_dwst.mzn
• fzn_dwst_reif.mzn
• fzn_exactly_int.mzn
• fzn_exactly_int_reif.mzn
• fzn_exactly_set.mzn
• fzn_exactly_set_reif.mzn
• fzn_geost.mzn
• fzn_geost_bb.mzn
• fzn_geost_bb_reif.mzn
• fzn_geost_nonoverlap_k.mzn
• fzn_geost_nonoverlap_k_reif.mzn
• fzn_geost_reif.mzn
• fzn_geost_smallest_bb.mzn
• fzn_geost_smallest_bb_reif.mzn
• fzn_global_cardinality.mzn
• fzn_global_cardinality_closed.mzn
• fzn_global_cardinality_closed_opt.mzn
• fzn_global_cardinality_closed_reif.mzn
• fzn_global_cardinality_closed_set.mzn
• fzn_global_cardinality_low_up.mzn
• fzn_global_cardinality_low_up_closed.mzn
• fzn_global_cardinality_low_up_closed_opt.mzn
• fzn_global_cardinality_low_up_closed_reif.mzn
• fzn_global_cardinality_low_up_closed_set.mzn
• fzn_global_cardinality_low_up_opt.mzn
• fzn_global_cardinality_low_up_reif.mzn
• fzn_global_cardinality_low_up_set.mzn
• fzn_global_cardinality_opt.mzn
• fzn_global_cardinality_reif.mzn
• fzn_global_cardinality_set.mzn
• fzn_if_then_else_bool.mzn
• fzn_if_then_else_float.mzn
• fzn_if_then_else_int.mzn
• fzn_if_then_else_opt_bool.mzn
• fzn_if_then_else_opt_float.mzn
• fzn_if_then_else_opt_int.mzn
• fzn_if_then_else_partiality.mzn
• fzn_if_then_else_set.mzn
• fzn_if_then_else_var_bool.mzn
• fzn_if_then_else_var_float.mzn
• fzn_if_then_else_var_int.mzn
• fzn_if_then_else_var_opt_bool.mzn
• fzn_if_then_else_var_opt_float.mzn
• fzn_if_then_else_var_opt_int.mzn
• fzn_if_then_else_var_set.mzn
• fzn_increasing_bool.mzn
• fzn_increasing_bool_opt.mzn
• fzn_increasing_bool_reif.mzn
• fzn_increasing_float.mzn
• fzn_increasing_float_opt.mzn
• fzn_increasing_float_opt_reif.mzn
• fzn_increasing_float_reif.mzn
• fzn_increasing_int.mzn
• fzn_increasing_int_opt.mzn
• fzn_increasing_int_opt_reif.mzn
• fzn_increasing_int_reif.mzn
• fzn_increasing_set.mzn
• fzn_increasing_set_reif.mzn
• fzn_int_set_channel.mzn
• fzn_int_set_channel_reif.mzn
• fzn_inverse.mzn
• fzn_inverse_in_range.mzn
• fzn_inverse_in_range_reif.mzn
• fzn_inverse_opt.mzn
• fzn_inverse_reif.mzn
• fzn_inverse_set.mzn
• fzn_inverse_set_reif.mzn
• fzn_knapsack.mzn
• fzn_knapsack_reif.mzn
• fzn_lex2.mzn
• fzn_lex2_reif.mzn
• fzn_lex_chain_less_bool.mzn
• fzn_lex_chain_less_bool_reif.mzn
• fzn_lex_chain_less_int.mzn
• fzn_lex_chain_less_int_reif.mzn
• fzn_lex_chain_lesseq_bool.mzn
• fzn_lex_chain_lesseq_bool_reif.mzn
• fzn_lex_chain_lesseq_int.mzn
• fzn_lex_chain_lesseq_int_reif.mzn
• fzn_lex_chain_lesseq_orbitope.mzn
• fzn_lex_chain_lesseq_orbitope_reif.mzn
• fzn_lex_less_bool.mzn
• fzn_lex_less_bool_reif.mzn
• fzn_lex_less_float.mzn
• fzn_lex_less_float_reif.mzn
• fzn_lex_less_int.mzn
• fzn_lex_less_int_reif.mzn
• fzn_lex_less_set.mzn
• fzn_lex_less_set_reif.mzn
• fzn_lex_lesseq_bool.mzn
• fzn_lex_lesseq_bool_reif.mzn
• fzn_lex_lesseq_float.mzn
• fzn_lex_lesseq_float_reif.mzn
• fzn_lex_lesseq_int.mzn
• fzn_lex_lesseq_int_reif.mzn
• fzn_lex_lesseq_set.mzn
• fzn_lex_lesseq_set_reif.mzn
• fzn_link_set_to_booleans.mzn
• fzn_link_set_to_booleans_reif.mzn
• fzn_mdd.mzn
• fzn_mdd_nondet.mzn
• fzn_mdd_nondet_reif.mzn
• fzn_mdd_reif.mzn
• fzn_member_bool.mzn
• fzn_member_bool_reif.mzn
• fzn_member_float.mzn
• fzn_member_float_reif.mzn
• fzn_member_int.mzn
• fzn_member_int_reif.mzn
• fzn_member_set.mzn
• fzn_member_set_reif.mzn
• fzn_network_flow.mzn
• fzn_network_flow_cost.mzn
• fzn_network_flow_cost_reif.mzn
• fzn_network_flow_reif.mzn
• fzn_neural_net.mzn
• fzn_neural_net_reif.mzn
• fzn_nvalue.mzn
• fzn_nvalue_reif.mzn
• fzn_partition_set.mzn
• fzn_partition_set_reif.mzn
• fzn_path_enum.mzn
• fzn_path_enum_reif.mzn
• fzn_path_int.mzn
• fzn_path_int_reif.mzn
• fzn_piecewise_linear.mzn
• fzn_piecewise_linear_non_continuous.mzn
• fzn_piecewise_linear_non_continuous_reif.mzn
• fzn_piecewise_linear_reif.mzn
• fzn_range.mzn
• fzn_range_reif.mzn
• fzn_reachable_enum.mzn
• fzn_reachable_enum_reif.mzn
• fzn_reachable_int.mzn
• fzn_reachable_int_reif.mzn
• fzn_regular.mzn
• fzn_regular_nfa.mzn
• fzn_regular_nfa_reif.mzn
• fzn_regular_nfa_set.mzn
• fzn_regular_nfa_set_reif.mzn
• fzn_regular_regexp.mzn
• fzn_regular_reif.mzn
• fzn_regular_set.mzn
• fzn_regular_set.mzn.deprecated.mzn
• fzn_regular_set_reif.mzn
• fzn_roots.mzn
• fzn_roots_reif.mzn
• fzn_seq_precede_chain_int.mzn
• fzn_seq_precede_chain_int_reif.mzn
• fzn_seq_precede_chain_set.mzn
• fzn_seq_precede_chain_set_reif.mzn
• fzn_set_member.mzn
• fzn_set_member_reif.mzn
• fzn_sliding_sum.mzn
• fzn_sliding_sum_reif.mzn
• fzn_sort.mzn
• fzn_sort_reif.mzn
• fzn_span.mzn
• fzn_span_reif.mzn
• fzn_steiner.mzn
• fzn_steiner_reif.mzn
• fzn_strict_lex2.mzn
• fzn_strict_lex2_reif.mzn
• fzn_strictly_increasing_float.mzn
• fzn_strictly_increasing_float_opt.mzn
• fzn_strictly_increasing_float_opt_reif.mzn
• fzn_strictly_increasing_float_reif.mzn
• fzn_strictly_increasing_int.mzn
• fzn_strictly_increasing_int_opt.mzn
• fzn_strictly_increasing_int_opt_reif.mzn
• fzn_strictly_increasing_int_reif.mzn
• fzn_strictly_increasing_set.mzn
• fzn_strictly_increasing_set_reif.mzn
• fzn_subcircuit.mzn
• fzn_subcircuit_reif.mzn
• fzn_subgraph_enum.mzn
• fzn_subgraph_enum_reif.mzn
• fzn_subgraph_int.mzn
• fzn_subgraph_int_reif.mzn
• fzn_sum_pred.mzn
• fzn_sum_pred_reif.mzn
• fzn_sum_set.mzn
• fzn_sum_set_reif.mzn
• fzn_symmetric_all_different.mzn
• fzn_symmetric_all_different_reif.mzn
• fzn_table_bool.mzn
• fzn_table_bool_reif.mzn
• fzn_table_int.mzn
• fzn_table_int_opt.mzn
• fzn_table_int_reif.mzn
• fzn_tree_enum.mzn
• fzn_tree_enum_reif.mzn
• fzn_tree_int.mzn
• fzn_tree_int_reif.mzn
• fzn_value_precede_chain_int.mzn
• fzn_value_precede_chain_int_opt.mzn
• fzn_value_precede_chain_int_reif.mzn
• fzn_value_precede_chain_set.mzn
• fzn_value_precede_chain_set_reif.mzn
• fzn_value_precede_int.mzn
• fzn_value_precede_int_opt.mzn
• fzn_value_precede_int_reif.mzn
• fzn_value_precede_set.mzn
• fzn_value_precede_set_reif.mzn
• fzn_var_perm_sym.mzn
• fzn_var_sqr_sym.mzn
• fzn_write.mzn
• fzn_write_reif.mzn
• fzn_writes.mzn
• fzn_writes_reif.mzn
• fzn_writes_seq.mzn
• fzn_writes_seq_reif.mzn
• fzn_wst.mzn
• fzn_wst_reif.mzn
• geost.mzn
• global_cardinality.mzn
• global_cardinality_closed.mzn
• global_cardinality_closed_fn.mzn
• global_cardinality_fn.mzn
• global_cardinality_low_up.deprecated.mzn
• global_cardinality_low_up.mzn
• global_cardinality_low_up_closed.deprecated.mzn
• global_cardinality_low_up_closed.mzn
• globals.mzn
• ide
• increasing.mzn
• increasing_bool.mzn
• increasing_bool.mzn.deprecated.mzn
• increasing_float.mzn
• increasing_float.mzn.deprecated.mzn
• increasing_int.mzn
• increasing_int.mzn.deprecated.mzn
• increasing_set.mzn
• increasing_set.mzn.deprecated.mzn
• int_set_channel.mzn
• inverse.mzn
• inverse_fn.mzn
• inverse_in_range.mzn
• inverse_set.mzn
• knapsack.mzn
• lex2.mzn
• lex2_strict.mzn
• lex_chain_greater.mzn
• lex_chain_greatereq.mzn
• lex_chain_greatereq_orbitope.mzn
• lex_chain_less.mzn
• lex_chain_less_bool.mzn
• lex_chain_less_bool.mzn.deprecated.mzn
• lex_chain_less_int.mzn
• lex_chain_less_int.mzn.deprecated.mzn
• lex_chain_lesseq.mzn
• lex_chain_lesseq_bool.mzn
• lex_chain_lesseq_bool.mzn.deprecated.mzn
• lex_chain_lesseq_int.mzn
• lex_chain_lesseq_int.mzn.deprecated.mzn
• lex_chain_lesseq_orbitope.mzn
• lex_greater.mzn
• lex_greatereq.mzn
• lex_less.mzn
• lex_less_bool.mzn
• lex_less_bool.mzn.deprecated.mzn
• lex_less_float.mzn
• lex_less_float.mzn.deprecated.mzn
• lex_less_int.mzn
• lex_less_int.mzn.deprecated.mzn
• lex_less_set.mzn
• lex_less_set.mzn.deprecated.mzn
• lex_lesseq.mzn
• lex_lesseq_bool.mzn
• lex_lesseq_bool.mzn.deprecated.mzn
• lex_lesseq_float.mzn
• lex_lesseq_float.mzn.deprecated.mzn
• lex_lesseq_int.mzn
• lex_lesseq_int.mzn.deprecated.mzn
• lex_lesseq_set.mzn
• lex_lesseq_set.mzn.deprecated.mzn
• link_set_to_booleans.mzn
• maximum.mzn
• mdd.mzn
• mdd_nondet.mzn
• member.mzn
• member_bool.mzn
• member_bool.mzn.deprecated.mzn
• member_float.mzn
• member_float.mzn.deprecated.mzn
• member_int.mzn
• member_int.mzn.deprecated.mzn
• member_set.mzn
• member_set.mzn.deprecated.mzn
• minimum.mzn
• network_flow.mzn
• neural_net.mzn
• nosets.mzn
• nvalue.mzn
• nvalue_fn.mzn
• output
• output.mzn
• partition_set.mzn
• path.mzn
• piecewise_linear.mzn
• piecewise_linear_non_continuous.mzn
• range.mzn
• range_fn.mzn
• reachable.mzn
• redefinitions-2.0.2.mzn
• redefinitions-2.0.mzn
• redefinitions-2.1.1.mzn
• redefinitions-2.1.mzn
• redefinitions-2.2.1.mzn
• redefinitions-2.3.3.mzn
• redefinitions-2.5.2.mzn
• redefinitions-2.7.1.mzn
• redefinitions.mzn
• regular.mzn
• regular_nfa.mzn
• regular_regexp.mzn
• regular_set.mzn
• roots.mzn
• roots_fn.mzn
• seq_precede_chain.mzn
• set_member.mzn
• sliding_sum.mzn
• solver_redefinitions.mzn
• sort.mzn
• sort_fn.mzn
• span.mzn
• stdlib
• stdlib.mzn
• steiner.mzn
• strict_lex2.mzn
• strictly_decreasing.mzn
• strictly_increasing.mzn
• subcircuit.mzn
• subgraph.mzn
• sum_pred.mzn
• sum_set.mzn
• symmetric_all_different.mzn
• table.mzn
• table_bool.mzn
• table_bool.mzn.deprecated.mzn
• table_int.mzn
• table_int.mzn.deprecated.mzn
• tree.mzn
• value_precede.mzn
• value_precede_chain.mzn
• value_precede_chain_int.mzn
• value_precede_chain_int.mzn.deprecated.mzn
• value_precede_chain_set.mzn
• value_precede_chain_set.mzn.deprecated.mzn
• value_precede_int.mzn
• value_precede_int.mzn.deprecated.mzn
• value_precede_set.mzn
• value_precede_set.mzn.deprecated.mzn
• var_perm_sym.mzn
• var_sqr_sym.mzn
• weighted_spanning_tree.mzn
• write.mzn
• writes.mzn
• writes_seq.mzn

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Nov 13 00:41:02 2024