Opencast Mining: How Much to Excavate

Constraints

The following constraints are used in this example:

  • bounds on variables

  • for $i \in \text {BLOCKS}$ and $j \in \text {BLOCKS}$ such that $\Argument{level[j]} = \Argument{level[i]} - 1$ and $\Argument{row[j]} \in \{ \Argument{row[i]},\Argument{row[i]}+1\} $ and $\Argument{column[j]} \in \{ \Argument{column[i]},\Argument{column[i]}+1\} $,

    \[ \Variable{Extract[i]} \le \Variable{Extract[j]} \]