Changed name to that of the paper

README.md

@@ -2,7 +2,7 @@
 # Study regulations
 > An ASP-based system for reasoning about study regulations
 
-## Description 
+## Description
 
 This repository contains ASP encodings to:
 * generate study plans using [*clingo*](https://potassco.org/clingo/), and
@@ -31,8 +31,8 @@ For a formal description of the system, please read our [paper](https://www.cs.u
 ### Encodings
 
 
-* [`meta.lp`](./encodings/meta.lp): meta-encoding to generate study plans (described in the paper)
-* [`meta-examinations.lp`](./encodings/meta-examinations.lp): extended meta-encoding including examination tasks
+* [`encoding.lp`](./encodings/encoding.lp): encoding-encoding to generate study plans (described in the paper)
+* [`encoding-examinations.lp`](./encodings/encoding-examinations.lp): extended encoding-encoding including examination tasks
 * [`show.lp`](./encodings/show.lp): `#show` statements to simplify the visualization
 
 
@@ -43,7 +43,7 @@ Specific study regulations can be found in the [instances directory](./instances
 
 * [`cogsys.lp`](./instances/cogsys/cogsys.lp): basic study regulation for CogSys Master
 * [`cogsys-examination.lp`](./instances/cogsys/cogsys-examinations.lp): extension of Cogsys Master for examination tasks
-  * *Note: does not include the specification of Ep, Es, ep(·), es(·) and d (see the [tests](https://github.com/potassco/study-regulations/tree/master/tests))* 
+  * *Note: does not include the specification of Ep, Es, ep(·), es(·) and d (see the [tests](https://github.com/potassco/study-regulations/tree/master/tests))*
 
 ## Usage
 
@@ -52,7 +52,7 @@ Specific study regulations can be found in the [instances directory](./instances
 - Obtain a single study plan
 
 ```command
-clingo instances/cogsys/cogsys.lp encodings/{meta.lp,show.lp} -c n=4 1
+clingo instances/cogsys/cogsys.lp encodings/{encoding.lp,show.lp} -c n=4 1
 ```
 
 
@@ -61,7 +61,7 @@ clingo instances/cogsys/cogsys.lp encodings/{meta.lp,show.lp} -c n=4 1
 - Open an interactive UI to configure your study plan
 
 ```command
-clinguin client-server --domain-files instances/cogsys/cogsys.lp encodings/meta.lp --ui-files encodings/ui.lp -c n=4
+clinguin client-server --domain-files instances/cogsys/cogsys.lp encodings/encoding.lp --ui-files encodings/ui.lp -c n=4
 ```
 
 ![](img/out.png)

tests/README.md

@@ -1,41 +1,41 @@
 # Tests
 
 * `test-01`:
-  - `clingo instances/cogsys/cogsys.lp encodings/{meta.lp,show.lp} tests/test-01.lp -c n=4 0 -q`
+  - `clingo instances/cogsys/cogsys.lp encodings/{encoding.lp,show.lp} tests/test-01.lp -c n=4 0 -q`
   - returns one answer set (the example of the paper)
   - returns no answer set if n=3
 
 * `test-02`:
-  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/meta-examinations.lp tests/{test-01.lp,test-02.lp} -c n=4 0 -q`
+  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/encoding-examinations.lp tests/{test-01.lp,test-02.lp} -c n=4 0 -q`
   - returns one answer set
   - returns no answer set if n=3
 
 * `test-03`:
-  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/meta-examinations.lp tests/{test-01.lp,test-03.lp} -c n=4 0 -q`
+  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/encoding-examinations.lp tests/{test-01.lp,test-03.lp} -c n=4 0 -q`
   - returns 2,048 answer sets (2^11)
 
 * `test-04`:
-  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/meta-examinations.lp tests/{test-01.lp,test-04.lp} -c n=4 0 -q`
+  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/encoding-examinations.lp tests/{test-01.lp,test-04.lp} -c n=4 0 -q`
   - returns 2,048 answer sets (2^11)
 
 * `test-05`:
-  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/meta-examinations.lp tests/{test-01.lp,test-05.lp} -c n=4 0 -q`
+  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/encoding-examinations.lp tests/{test-01.lp,test-05.lp} -c n=4 0 -q`
   - returns 7 answer sets
 
 * `test-06`:
-  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/meta-examinations.lp tests/{test-01.lp,test-06.lp} -c n=4 0 -q`
+  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/encoding-examinations.lp tests/{test-01.lp,test-06.lp} -c n=4 0 -q`
   - returns 28 answer sets
 
 * `test-07`:
-  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/meta-examinations.lp tests/{test-01.lp,test-07.lp} -c n=4 0 -q`
+  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/encoding-examinations.lp tests/{test-01.lp,test-07.lp} -c n=4 0 -q`
   - returns 18 answer sets
 
 * `test-08`:
-  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/meta-examinations.lp tests/{test-01.lp,test-08.lp} -c n=4 0 -q`
+  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/encoding-examinations.lp tests/{test-01.lp,test-08.lp} -c n=4 0 -q`
   - returns 36 answer sets
   - returns 22 answer sets if we use option --project
 
 * `test-cogsys-exams`:
-  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/meta-examinations.lp tests/test-cogsys-exams.lp -c n=3 0 -q`
+  - `clingo instances/cogsys/{cogsys.lp,cogsys-examinations.lp} encodings/encoding-examinations.lp tests/test-cogsys-exams.lp -c n=3 0 -q`
   - returns 3,840 answer sets
   - returns 353,760 answer sets if n=4