Index of /src/pumpkin-solver-0.1.4/tests/mzn_constraints/
../
all_different.expected 24-Jul-2006 01:21 1043
all_different.fzn 24-Jul-2006 01:21 181
all_different.template 24-Jul-2006 01:21 242
array_int_maximum.expected 24-Jul-2006 01:21 1294
array_int_maximum.fzn 24-Jul-2006 01:21 147
array_int_minimum.expected 24-Jul-2006 01:21 1284
array_int_minimum.fzn 24-Jul-2006 01:21 147
bool_clause.expected 24-Jul-2006 01:21 106
bool_clause.fzn 24-Jul-2006 01:21 104
bool_lin_eq.expected 24-Jul-2006 01:21 225
bool_lin_eq.fzn 24-Jul-2006 01:21 230
bool_lin_le.expected 24-Jul-2006 01:21 240
bool_lin_le.fzn 24-Jul-2006 01:21 202
bool_not.expected 24-Jul-2006 01:21 75
bool_not.fzn 24-Jul-2006 01:21 97
bool_xor.expected 24-Jul-2006 01:21 75
bool_xor.fzn 24-Jul-2006 01:21 106
bool_xor.template 24-Jul-2006 01:21 102
bool_xor_reif.expected 24-Jul-2006 01:21 181
bool_xor_reif.fzn 24-Jul-2006 01:21 141
bool_xor_reif.template 24-Jul-2006 01:21 123
cumulative.expected 24-Jul-2006 01:21 1941
cumulative.fzn 24-Jul-2006 01:21 165
cumulative.template 24-Jul-2006 01:21 354
generate_expectations.sh 24-Jul-2006 01:21 896
int_abs.expected 24-Jul-2006 01:21 189
int_abs.fzn 24-Jul-2006 01:21 99
int_div.expected 24-Jul-2006 01:21 1406
int_div.fzn 24-Jul-2006 01:21 145
int_eq.expected 24-Jul-2006 01:21 86
int_eq.fzn 24-Jul-2006 01:21 96
int_eq_reif.expected 24-Jul-2006 01:21 332
int_eq_reif.fzn 24-Jul-2006 01:21 131
int_le.expected 24-Jul-2006 01:21 161
int_le.fzn 24-Jul-2006 01:21 96
int_le_reif.expected 24-Jul-2006 01:21 329
int_le_reif.fzn 24-Jul-2006 01:21 131
int_lin_eq.expected 24-Jul-2006 01:21 151
int_lin_eq.fzn 24-Jul-2006 01:21 153
int_lin_eq_reif.expected 24-Jul-2006 01:21 1330
int_lin_eq_reif.fzn 24-Jul-2006 01:21 194
int_lin_le.expected 24-Jul-2006 01:21 1805
int_lin_le.fzn 24-Jul-2006 01:21 119
int_lin_le_reif.expected 24-Jul-2006 01:21 4565
int_lin_le_reif.fzn 24-Jul-2006 01:21 155
int_lin_ne.expected 24-Jul-2006 01:21 568
int_lin_ne.fzn 24-Jul-2006 01:21 114
int_lin_ne_reif.expected 24-Jul-2006 01:21 118
int_lin_ne_reif.fzn 24-Jul-2006 01:21 149
int_lt.expected 24-Jul-2006 01:21 86
int_lt.fzn 24-Jul-2006 01:21 96
int_lt_reif.expected 24-Jul-2006 01:21 332
int_lt_reif.fzn 24-Jul-2006 01:21 131
int_max.expected 24-Jul-2006 01:21 1294
int_max.fzn 24-Jul-2006 01:21 135
int_min.expected 24-Jul-2006 01:21 1284
int_min.fzn 24-Jul-2006 01:21 135
int_mod.expected 24-Jul-2006 01:21 1402
int_mod.fzn 24-Jul-2006 01:21 825
int_ne.expected 24-Jul-2006 01:21 161
int_ne.fzn 24-Jul-2006 01:21 96
int_ne_reif.expected 24-Jul-2006 01:21 329
int_ne_reif.fzn 24-Jul-2006 01:21 131
int_plus.expected 24-Jul-2006 01:21 1240
int_plus.fzn 24-Jul-2006 01:21 131
int_times.expected 24-Jul-2006 01:21 1103
int_times.fzn 24-Jul-2006 01:21 131
set_in.expected 24-Jul-2006 01:21 47
set_in.fzn 24-Jul-2006 01:21 74
set_in_reif_interval.expected 24-Jul-2006 01:21 232
set_in_reif_interval.fzn 24-Jul-2006 01:21 114
set_in_reif_sparse.expected 24-Jul-2006 01:21 233
set_in_reif_sparse.fzn 24-Jul-2006 01:21 116