The job whose dependencies and task lengths are given by
figure=clp_seminar_figs/prec_net_1.eps,width=0.4
should be finished in 10 time units or less
Constraints:
pn1(A,B,C,D,E,F,G):-
A #>= 0, G #<= 10,
B #>= A, C #>= A, D #>= A,
E #>= B + 1, E #>= C + 2,
F #>= C + 2, F #>= D + 3,
G #>= E + 4, G #>= F + 1.