summaryrefslogtreecommitdiff
path: root/robot/problems/introduction/forward1m/sl.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-29 19:00:23 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-29 19:00:45 +0200
commit0d32abe688f0636988090f653f75bc33616ad610 (patch)
treead2ee77fb6ed309609d6dfe414941d5baf1243f7 /robot/problems/introduction/forward1m/sl.py
parent39e171d652db076dd96fe3afbc77e26aafd7fa32 (diff)
Prolog: add triggers for is_sorted/1 hints
Diffstat (limited to 'robot/problems/introduction/forward1m/sl.py')
0 files changed, 0 insertions, 0 deletions