MODIFIED: Remove support for requirements in XML format.

Please use Prolog facts as input instead. In preparation for moving to CLP(ℤ) with SICStus and Scryer Prolog.
triska · Dec 14, 2019 · cac7fc6 · cac7fc6
1 parent 3aedaa9
commit cac7fc6
Show file tree

Hide file tree

Showing 3 changed files with 25 additions and 367 deletions.
diff --git a/README.md b/README.md
@@ -8,7 +8,11 @@ for more information.
 
 Example invocation:
 
-    swipl -g "timetable('reqs.xml'),halt" simsttab.pl
+
+    swipl -g 'requirements_variables(Rs, Vs),
+              labeling([ff], Vs),
+              print_classes(Rs),
+              print_teachers(Rs)' simsttab.pl reqs.pl
 
 This constructs a [timetable](timetable.txt) that satisifies the
-requirements stated in [reqs.xml](reqs.xml).
+requirements stated in [reqs.pl](reqs.pl).
diff --git a/reqs.xml b/reqs.xml