You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+18-6Lines changed: 18 additions & 6 deletions
Original file line number
Diff line number
Diff line change
@@ -5,15 +5,15 @@ This project generates a time table given a set of inputs and constraints. It en
5
5
## Installation
6
6
### Prerequisities
7
7
The following software are prerequisites for this program:
8
-
***Open WBO 2.0** : \
8
+
***Open WBO 2.0** :
9
9
This is the MaxSAT solver used to solve the encoded formula. The code can be downloaded from https://github.com/sat-group/open-wbo/tree/f193a3bd802551b13d6424bc1baba6ad35ec6ba6. Also see http://sat.inesc-id.pt/open-wbo/ for details.
10
-
***yaml-cpp 0.5.3** : \
10
+
***yaml-cpp 0.5.3** :
11
11
This is used to parse valid field values and weight inputs. Download and install from https://github.com/jbeder/yaml-cpp/releases/tag/yaml-cpp-0.5.3.
12
-
***CSVparser** : \
12
+
***CSVparser** :
13
13
This is used to parse the CSV containing the input data. Download from https://github.com/MyBoon/CSVparser/tree/540e3e2f46b77ea8178f90910a165695cbb6cc12.
14
-
***PEGTL 2.2.0** : \
14
+
***PEGTL 2.2.0** :
15
15
This is used to parse custom constraints. Download and install from https://github.com/taocpp/PEGTL/releases/tag/2.2.0.
16
-
***googletest 1.8.0** : \
16
+
***googletest 1.8.0** :
17
17
This is required if tests are to be run. Download and install from https://github.com/google/googletest/releases/tag/release-1.8.0.
18
18
19
19
`g++` with support for C++11, using the `--std=c++11` flag, is required.
@@ -44,4 +44,16 @@ where
44
44
*`custom.txt` is the path to the file containing the list of custom constraints.
45
45
*`output.csv` is the path to the file to which the output must be written to.
46
46
47
-
For further details and examples, please refer to the [Project Wiki](https://github.com/GoodDeeds/Timetabler/wiki).
47
+
## Examples of Configuration files
48
+
49
+
This contains some examples for providing the fields information, the input, and adding custom constraints to the solver.
50
+
51
+
The structure of this directory is as follows:
52
+
***custom-constraints** :
53
+
This contains some examples of custom constraints that can be provided to the solver using the grammar provided. For seeing the grammar, please refer to the [Project Wiki](https://github.com/GoodDeeds/Timetabler/wiki).
54
+
***field-input** :
55
+
This contains some examples of the way field inputs can be given to the solver. This includes list of instructors, available classrooms, weights of clauses, etc.
56
+
***input** :
57
+
This contains some examples of the course data input given to the solver as a CSV file.
58
+
59
+
For further details and examples, please refer to the [Project Wiki](https://github.com/GoodDeeds/Timetabler/wiki).
0 commit comments