Be a Solver (I)

Next: Be a Solver (II) Up: What is CLP Previous: Logic

Assume the following precedence net and the task lengths:

figure=clp_seminar_figs/prec_net_1.eps,height=0.3
The whole job must be finished in 10 time units or less
Problem modelling:

$\begin{eqnarraystar}a, b, c, d, e, f, g & \in & \{ 0, \ldots, 10\} \\ \ \\ a &... ...d + 3 & \leq & f \\ e + 4 & \leq & g \\ f + 1 & \leq & g \end{eqnarraystar}$

Last modification: Thu Oct 7 12:04:03 MEST 1999 <webmaster@clip.dia.fi.upm.es>