instance1_asp.lp

checkpoint(2;3;4;7;8;10).

person(1..10).

yj(2,1).
yj(2,3).
yj(2,4).
yj(2,9).
yj(3,1).
yj(3,4).
yj(3,10).
yj(4,1).
yj(4,3).
yj(4,4).
yj(7,3).
yj(7,4).
yj(7,5).
yj(7,6).
yj(7,7).
yj(7,8).
yj(8,3).
yj(8,5).
yj(8,7).
yj(8,8).
yj(8,10).
yj(10,4).
yj(10,5).
yj(10,7).
yj(10,9).
yj(10,10).