-
Notifications
You must be signed in to change notification settings - Fork 1
/
Input4.lp
70 lines (58 loc) · 2.18 KB
/
Input4.lp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
timestep(9..18).
day(1..5).
student(1..24).
unit(electronics;programming;mathematics;mechanics;dataStructures;physics;chemistry).
takes(1,electronics;1,programming;1,mathematics).
takes(2,electronics;2,programming;2,mathematics).
takes(3,electronics;3,programming;3,mathematics).
takes(4,electronics;4,programming;4,mathematics).
takes(5,electronics;5,programming;5,mathematics).
takes(6,electronics;6,programming;6,mathematics).
takes(7,electronics;7,programming;7,mathematics).
takes(8,electronics;8,programming;8,mathematics).
takes(9,dataStructures;9,programming;9,mathematics).
takes(10,dataStructures;10,programming;10,mathematics).
takes(11,dataStructures;11,programming;11,mathematics).
takes(12,dataStructures;12,programming;12,mathematics).
takes(13,dataStructures;13,programming;13,mathematics).
takes(14,dataStructures;14,programming;14,mathematics).
takes(15,dataStructures;15,programming;15,mathematics).
takes(16,dataStructures;16,programming;16,mathematics).
takes(17,mechanics;17,programming;17,mathematics).
takes(18,mechanics;18,programming;18,mathematics).
takes(19,mechanics;19,programming;19,mathematics).
takes(20,mechanics;20,programming;20,mathematics).
takes(21,mechanics;21,programming;21,mathematics).
takes(22,mechanics;22,programming;22,mathematics).
takes(23,mechanics;23,programming;23,mathematics).
takes(24,mechanics;24,programming;24,mathematics).
takes(24..32,physics;24..32,chemistry).
lecturer(a).
lecturer(b).
lecturer(c).
teaches(a,electronics;a,programming).
teaches(b,mathematics;b,dataStructures).
teaches(c,mechanics).
teaches(d,physics;d,chemistry).
preferred(a,11,1).
preferred(b,11,2).
preferred(c,16,1).
unavailable(a,10,1;a,11,2).
unavailable(b,9,1;b,10,2).
unavailable(c,13,1;c,16,2).
room(101;102;103;104;105;106).
capacity(101,30 ; 102,30 ; 103,30 ; 104,30 ; 105,30 ; 106,30).
%* OUTPUT
Models : 0
Calls : 1
Time : 1.439s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 1.420s
lk411@tux2:~/AI-ASP-public/Timetabler$ clingo Input4.lp Timetabler.lp
clingo version 4.2.1
Reading from Input4.lp ...
UNSATISFIABLE
Models : 0
Calls : 1
Time : 1.456s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 1.440s
*%