summaryrefslogtreecommitdiff
path: root/prolog/runner
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-06 12:26:47 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-06 12:26:47 +0200
commit5547a6a9dfd05bd921c25cb4442c58a2a07ec009 (patch)
treefba2cd43b48fb20f15808e99e8ad2c52e511eb22 /prolog/runner
parentbe1fa03e5782657a9503bf0c9350b265048fe5d5 (diff)
Prolog: increase inference limit for test queries
Needed for problems/clp_fd/magic_1.
Diffstat (limited to 'prolog/runner')
0 files changed, 0 insertions, 0 deletions