seq_precede_chain is an official global constraint, as of recently.
Contrary to almost all other global constraint, there is no row:
include "seq_precede_chain.mzn";
in globals.mzn. Instead, that include statement is found in fzn_value_precede_chain_int.mzn, which looks like the wrong place to put it in. Solver vendors may choose to provide their own version of fzn_value_precede_chain_int.mzn.
seq_precede_chainis an official global constraint, as of recently.Contrary to almost all other global constraint, there is no row:
in
globals.mzn. Instead, that include statement is found infzn_value_precede_chain_int.mzn, which looks like the wrong place to put it in. Solver vendors may choose to provide their own version offzn_value_precede_chain_int.mzn.