Hugging Face's logo

Spaces:
SolverForge
/
solverforge-lessons
Sleeping

App Files Community
solverforge-lessons
File size: 1,957 Bytes
4b94493
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
[app]
name = "solverforge-lessons"
starter = "neutral-shell"
cli_version = "2.0.4"

[runtime]
target = "solverforge 0.13.1"
runtime_source = "crates.io: solverforge 0.13.1"
ui_source = "crates.io: solverforge-ui 0.6.5"

[demo]
default_size = "LARGE"
available_sizes = [
    "LARGE",
]

[solution]
name = "Plan"
score = "HardMediumSoftScore"

[[facts]]
name = "timeslot"
plural = "timeslots"
kind = "problem_fact"

[[facts]]
name = "teacher"
plural = "teachers"
kind = "problem_fact"

[[facts]]
name = "group"
plural = "groups"
kind = "problem_fact"

[[facts]]
name = "room"
plural = "rooms"
kind = "problem_fact"

[[entities]]
name = "lesson"
plural = "lessons"
kind = "planning_entity"

[[variables]]
entity = "lesson"
entity_plural = "lessons"
field = "timeslot_idx"
kind = "scalar"
range = "timeslots"
elements = ""
allows_unassigned = false
enabled = true

[[variables]]
entity = "lesson"
entity_plural = "lessons"
field = "room_idx"
kind = "scalar"
range = "rooms"
elements = ""
allows_unassigned = false
enabled = true

[[constraints]]
name = "assign_timeslot"
module = "assign_timeslot"
enabled = true

[[constraints]]
name = "assign_room"
module = "assign_room"
enabled = true

[[constraints]]
name = "teacher_availability"
module = "teacher_availability"
enabled = true

[[constraints]]
name = "group_availability"
module = "group_availability"
enabled = true

[[constraints]]
name = "room_kind"
module = "room_kind"
enabled = true

[[constraints]]
name = "room_capacity"
module = "room_capacity"
enabled = true

[[constraints]]
name = "no_group_conflict"
module = "no_group_conflict"
enabled = true

[[constraints]]
name = "no_room_conflict"
module = "no_room_conflict"
enabled = true

[[constraints]]
name = "no_teacher_conflict"
module = "no_teacher_conflict"
enabled = true

[[constraints]]
name = "late_lesson"
module = "late_lesson"
enabled = true

[[constraints]]
name = "repeated_subject_day"
module = "repeated_subject_day"
enabled = true