summaryrefslogtreecommitdiff
path: root/readme.md
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-05 14:51:03 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-05 14:51:03 +0100
commit9b0915cb2ac613d2da04381772f2bf840f99068b (patch)
tree962301d2e0dc79fcb95fc286d2c234ad82df56fa /readme.md
parent08519a9884977b5a52bcac85ab24ff04f5988528 (diff)
Add a script to generate HTML with problem description
Diffstat (limited to 'readme.md')
-rw-r--r--readme.md4
1 files changed, 4 insertions, 0 deletions
diff --git a/readme.md b/readme.md
index d344e79..0cfc75b 100644
--- a/readme.md
+++ b/readme.md
@@ -121,6 +121,10 @@ You can test stuff in a python interpreter:
>>> prolog.test(231, 96, 'sister(X,Y):- parent(P,X), parent(P,Y), female(X).')
>>> prolog.hint(231, 96, 'sister(X,Y):- parent(P,X), parent(P,Y), female(X).')
+To check for errors in hint definitions you can use the problem_html script:
+
+ python3 -m scripts.problem_html python introduction ballistics sl > out.html
+
Traces
======