blob: 454edc3c9b6228db35ddc24efd417a3146ccf6cd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
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/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_BUILD_TYPE%%.cmake
lib/cmake/chuffed/chuffed-targets.cmake
lib/libchuffed.so
lib/libchuffed_fzn.so
%%DATADIR%%/chuffed.mzn
%%DATADIR%%/edit_distance.mzn
%%DATADIR%%/experimental/on_restart/fzn_on_restart_complete.mzn
%%DATADIR%%/experimental/on_restart/fzn_on_restart_last_val_bool.mzn
%%DATADIR%%/experimental/on_restart/fzn_on_restart_last_val_int.mzn
%%DATADIR%%/experimental/on_restart/fzn_on_restart_sol_bool.mzn
%%DATADIR%%/experimental/on_restart/fzn_on_restart_sol_int.mzn
%%DATADIR%%/experimental/on_restart/fzn_on_restart_status.mzn
%%DATADIR%%/experimental/on_restart/fzn_on_restart_uniform_int.mzn
%%DATADIR%%/fzn_all_different_int.mzn
%%DATADIR%%/fzn_arg_max_bool.mzn
%%DATADIR%%/fzn_bounded_dpath_int.mzn
%%DATADIR%%/fzn_circuit.mzn
%%DATADIR%%/fzn_connected.mzn
%%DATADIR%%/fzn_cost_regular.mzn
%%DATADIR%%/fzn_count_eq.mzn
%%DATADIR%%/fzn_count_eq_par.mzn
%%DATADIR%%/fzn_count_geq.mzn
%%DATADIR%%/fzn_count_geq_par.mzn
%%DATADIR%%/fzn_count_gt.mzn
%%DATADIR%%/fzn_count_gt_par.mzn
%%DATADIR%%/fzn_count_leq.mzn
%%DATADIR%%/fzn_count_leq_par.mzn
%%DATADIR%%/fzn_count_lt.mzn
%%DATADIR%%/fzn_count_lt_par.mzn
%%DATADIR%%/fzn_cumulative.mzn
%%DATADIR%%/fzn_dag.mzn
%%DATADIR%%/fzn_disjunctive.mzn
%%DATADIR%%/fzn_disjunctive_strict.mzn
%%DATADIR%%/fzn_distribute.mzn
%%DATADIR%%/fzn_dpath_int.mzn
%%DATADIR%%/fzn_dtree_int.mzn
%%DATADIR%%/fzn_global_cardinality_low_up.mzn
%%DATADIR%%/fzn_inverse.mzn
%%DATADIR%%/fzn_nvalue.mzn
%%DATADIR%%/fzn_regular.mzn
%%DATADIR%%/fzn_seq_precede_chain_int.mzn
%%DATADIR%%/fzn_steiner.mzn
%%DATADIR%%/fzn_subcircuit.mzn
%%DATADIR%%/fzn_table_int.mzn
%%DATADIR%%/fzn_tree_int.mzn
%%DATADIR%%/fzn_value_precede_int.mzn
%%DATADIR%%/redefinitions.mzn
%%DATADIR%%/values_interchange.mzn
%%DATADIR%%/values_sequences.mzn
%%DATADIR%%/variables_interchange.mzn
%%DATADIR%%/variables_sequences.mzn
share/minizinc/solvers/chuffed.msc
@dir include/chuffed/examples
@dir include/chuffed/flatzinc/mznlib/experimental/on_restart
@dir include/chuffed/mzn-models
|
