From 24b0b137e16c3e28fb2df3b88139359d6696c4f9 Mon Sep 17 00:00:00 2001 From: Susana Hahn Date: Mon, 5 Aug 2024 10:28:04 -0600 Subject: [PATCH] Changed name to that of the paper --- README.md | 12 ++++++------ ...xaminations.lp => encoding-examinations.lp} | 0 encodings/{meta.lp => encoding.lp} | 0 tests/README.md | 18 +++++++++--------- 4 files changed, 15 insertions(+), 15 deletions(-) rename encodings/{meta-examinations.lp => encoding-examinations.lp} (100%) rename encodings/{meta.lp => encoding.lp} (100%) diff --git a/README.md b/README.md index 0c91add..ce4506e 100644 --- a/README.md +++ b/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) diff --git a/encodings/meta-examinations.lp b/encodings/encoding-examinations.lp similarity index 100% rename from encodings/meta-examinations.lp rename to encodings/encoding-examinations.lp diff --git a/encodings/meta.lp b/encodings/encoding.lp similarity index 100% rename from encodings/meta.lp rename to encodings/encoding.lp diff --git a/tests/README.md b/tests/README.md index 7ab9018..4913502 100644 --- a/tests/README.md +++ b/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