Skip to content

APACHES.Prolog_CSDVP
APACHES.Prolog_CSDVP
Commit 4eea4109 authored by Alexis Lebis's avatar Alexis Lebis
Browse files
Options

Add a conf file loading for the csdvp solver (config produced by the old csdvp app in java

parent 2ebdee14
Hide whitespace changes
Inline Side-by-side
Showing with 151 additions and 101 deletions
configCSDVP.pl 0 → 100644
View file @ 4eea4109
courses([
[-1,[[]],[[]],[0,1,2,3,4,5,6,7,8,9],[0]],
[0,[[4,41],[9,10]],[],[2,6,9],[4]],
[1,[[5,24],[9,13]],[[9,2],[3,4],[0,3]],[2],[2]],
[2,[[6,24]],[[7,3]],[4],[5]],
[3,[[4,54]],[[2,2],[9,1]],[2,4,5,8],[6]],
[4,[[4,77],[8,71],[6,78]],[[7,5],[2,5]],[4,7],[3]],
[5,[[1,63],[6,89]],[],[2,5,6,9],[4]],
[6,[[6,30],[5,57]],[[7,3]],[5],[4]],
[7,[[6,40]],[],[2,4,7],[2]],
[8,[[8,87],[0,48],[5,26],[6,83]],[[7,1],[9,1],[8,3]],[0,1,4,6],[4]],
[9,[[1,63],[0,16],[3,85],[4,30]],[[0,4],[2,2]],[4,6,7,8],[4]],
[10,[[1,59]],[[8,1],[0,3]],[6,7],[6]],
[11,[[8,53],[9,28],[7,57],[2,62]],[],[1,5,6,8],[4]],
[12,[[9,20],[0,73],[5,77],[6,63]],[[4,5],[1,5]],[1,6,7],[3]],
[13,[[5,24],[1,69],[9,44]],[[2,5],[7,3],[9,4]],[5,9],[2]],
[14,[[6,36],[8,84],[2,46],[0,23]],[],[6,8],[3]],
[15,[[3,38],[8,80]],[[8,2]],[0,2,5,7],[5]],
[16,[[8,28],[1,69],[3,73]],[],[1,2,3],[3]],
[17,[[5,10],[1,53],[6,85],[4,51]],[[0,4]],[4,8],[2]],
[18,[[4,20],[6,38],[9,51]],[[1,1],[7,4]],[2,7],[5]],
[19,[[1,81],[5,43],[4,67]],[[6,3],[5,2],[7,2]],[5],[2]],
[20,[[5,42],[9,34],[4,53]],[[6,1],[5,2],[8,3]],[7,9],[3]],
[21,[[3,22],[1,32],[2,75],[7,47]],[[2,3]],[1,4],[5]],
[22,[[5,13],[7,86]],[[3,2]],[1],[2]],
[23,[[9,10],[3,25]],[[1,4]],[5],[5]],
[24,[[8,49],[6,66],[5,26],[3,44]],[[8,3],[2,1],[9,5]],[0,8],[2]],
[25,[[3,31],[6,40],[8,65],[1,73]],[[4,4],[2,5]],[9],[3]],
[26,[[8,65],[4,75],[0,52],[3,74]],[[9,1],[3,3]],[1,3],[4]],
[27,[[7,81]],[[2,4],[7,5]],[1,8,9],[3]],
[28,[[3,23]],[[2,3],[4,2],[1,3]],[0,9],[4]],
[29,[[7,23],[0,45],[1,74],[5,53]],[[5,1]],[3],[2]],
[30,[[3,66],[4,28],[0,89]],[],[9],[3]],
[31,[[1,58]],[[9,2],[0,1],[7,2]],[8],[5]],
[32,[[7,12],[1,81],[4,57],[5,24]],[[9,4],[2,1],[0,2]],[0],[4]],
[33,[[9,37],[7,31],[8,69],[3,52]],[],[3],[6]],
[34,[[8,43],[4,35],[7,52],[0,49]],[],[3],[2]],
[35,[[8,53],[5,57],[0,61],[2,37]],[[9,5],[8,3],[4,4]],[3],[4]],
[36,[[6,42],[9,35],[7,55],[8,28]],[[9,4]],[0],[3]],
[37,[[2,23]],[[9,1],[5,5],[4,3]],[3],[6]],
[38,[[9,67],[5,44],[7,19]],[[8,3],[7,1]],[0,3],[4]],
[39,[[3,56],[8,66],[1,20],[7,31]],[[3,4]],[0],[5]]
]).
minECTS(40).
nbSemester(10).
nbCourses(41).
nbCourseBySemester(2).
finalSkills(
[[6,1],[9,3]]
).
prologCSDVP.pl
View file @ 4eea4109
skill([ % skill([
[ [1,75], [4,50] ], % [ [1,75], [4,50] ],
[ [3,50], [1,25], [4,50] ], % [ [3,50], [1,25], [4,50] ],
[ [0,50], [2,50], [5,25] ], % [ [0,50], [2,50], [5,25] ],
[ [5,50]], % [ [5,50]],
[ [1,35], [2,25], [5,5] ], % [ [1,35], [2,25], [5,5] ],
[ [6,40], [3,45], [1,10]], % [ [6,40], [3,45], [1,10]],
[ [0,25], [2,40] ] % [ [0,25], [2,40] ]
]). % ]).
%
prereq([ % prereq([
[ [] ], % [ [] ],
[ [1,3] ], % [ [1,3] ],
[ [5,3] ], % [ [5,3] ],
[ [1,4], [4,2] ], % [ [1,4], [4,2] ],
[ [2,2], [4,4] ], % [ [2,2], [4,4] ],
[ [3,4] ] % [ [3,4] ]
]). % ]).
%
timeFrame([ % timeFrame([
[ 0 ], % [ 0 ],
[ 1, 2 ], % [ 1, 2 ],
[ 2, 3 ], % [ 2, 3 ],
[ 1, 2 ], % [ 1, 2 ],
[ 2, 3, 4], % [ 2, 3, 4],
[ 2, 5, 6], % [ 2, 5, 6],
[ 3, 5, 6] % [ 3, 5, 6]
]). % ]).
%
ects([ % ects([
[ 2 ], % [ 2 ],
[ 2 ], % [ 2 ],
[ 2 ], % [ 2 ],
[ 2 ], % [ 2 ],
[ 2 ], % [ 2 ],
[ 2 ], % [ 2 ],
[ 2 ] % [ 2 ]
]). % ]).
%
finalSkills([ % finalSkills([
[ 0, 2 ], % [ 0, 2 ],
[ 1, 3 ], % [ 1, 3 ],
[ 5, 3 ] % [ 5, 3 ]
]). % ]).
%
courses([ % courses([
[ -1, /* EMPTY COURSE */ % [ -1, /* EMPTY COURSE */
[ [] ], /* skills given */ % [ [] ], /* skills given */
[ [] ], /* prerequisite */ % [ [] ], /* prerequisite */
[ 0, 1, 2, 3, 4 ], /* time frame */ % [ 0, 1, 2, 3, 4 ], /* time frame */
[ 2 ] /* ects */ % [ 2 ] /* ects */
], % ],
[ 0, /* course 0*/ % [ 0, /* course 0*/
[ [1, 75], [4, 50] ], /* skills given */ % [ [1, 75], [4, 50] ], /* skills given */
[ [] ], /* prerequisite */ % [ [] ], /* prerequisite */
[ 0 ], /* time frame */ % [ 0 ], /* time frame */
[ 2 ] /* ects */ % [ 2 ] /* ects */
], % ],
[ 1, /* course 1*/ % [ 1, /* course 1*/
[ [3, 50], [1, 25] ], /* skills given */ % [ [3, 50], [1, 25] ], /* skills given */
[ [1, 3] ], /* prerequisite */ % [ [1, 3] ], /* prerequisite */
[ 1, 2 ], /* time frame */ % [ 1, 2 ], /* time frame */
[ 2 ] /* ects */ % [ 2 ] /* ects */
], % ],
[ 2, /* course 2 */ % [ 2, /* course 2 */
[ [0,50], [2,50], [5,25] ], /* skills given */ % [ [0,50], [2,50], [5,25] ], /* skills given */
[ [5, 2] ], /* prerequisite */ % [ [5, 2] ], /* prerequisite */
[ 2, 3 ], /* time frame */ % [ 2, 3 ], /* time frame */
[ 2 ] /* ects */ % [ 2 ] /* ects */
], % ],
[ 3, /* course 3 */ % [ 3, /* course 3 */
[ [5,50] ], /* skills given */ % [ [5,50] ], /* skills given */
[ [1,4], [4,2] ], /* prerequisite */ % [ [1,4], [4,2] ], /* prerequisite */
[ 1, 2 ], /* time frame */ % [ 1, 2 ], /* time frame */
[ 2 ] /* ects */ % [ 2 ] /* ects */
], % ],
[ 4, /* course 4 */ % [ 4, /* course 4 */
[ [1,35], [2,25], [5,5] ], /* skills given */ % [ [1,35], [2,25], [5,5] ], /* skills given */
[ [2,2], [4,4] ], /* prerequisite */ % [ [2,2], [4,4] ], /* prerequisite */
[ 2, 3, 4 ], /* time frame */ % [ 2, 3, 4 ], /* time frame */
[ 2 ] /* ects */ % [ 2 ] /* ects */
], % ],
[ 5, /* course 5 */ % [ 5, /* course 5 */
[ [6,40], [3,45], [1,10] ], /* skills given */ % [ [6,40], [3,45], [1,10] ], /* skills given */
[ [2,2], [4,4] ], /* prerequisite */ % [ [2,2], [4,4] ], /* prerequisite */
[ 2, 5, 6 ], /* time frame */ % [ 2, 5, 6 ], /* time frame */
[ 2 ] /* ects */ % [ 2 ] /* ects */
], % ],
[ 6, /* course 6 */ % [ 6, /* course 6 */
[ [0,25], [2,40] ], /* skills given */ % [ [0,25], [2,40] ], /* skills given */
[ [3,4] ], /* prerequisite */ % [ [3,4] ], /* prerequisite */
[ 3, 5, 6 ], /* time frame */ % [ 3, 5, 6 ], /* time frame */
[ 3 ] /* ects */ % [ 3 ] /* ects */
] % ]
]). % ]).
%
/* === GLOBAL CONFIGURATION */ % /* === GLOBAL CONFIGURATION */
minECTS(8). % minECTS(8).
nbSemester(4). % nbSemester(4).
nbCourses(5). % nbCourses(5).
nbCourseBySemester(1). % nbCourseBySemester(1).
/* === GETTER AND UTILITY === */ /* === GETTER AND UTILITY === */
getIDCourse([I|_], I). getIDCourse([I|_], I).
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment