diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-06 12:37:47 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-06 12:37:47 +0200 |
| commit | 2abd6d93e113886c4fa9d4cdf0c578b5ea11a1fb (patch) | |
| tree | acbec9480c282474d3f0a6cc50e0fac8b2e16896 /db | |
| parent | 5547a6a9dfd05bd921c25cb4442c58a2a07ec009 (diff) | |
Prolog: increase inference limit for test queries
Needed for problems/clp_fd/tobase_3.
Diffstat (limited to 'db')
0 files changed, 0 insertions, 0 deletions