summaryrefslogtreecommitdiff
path: root/python/problems/for-fkkt
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-08 17:29:57 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-08 17:29:57 +0200
commitd7ae7eb0e416d5e5d9c02bc4f3a3cd0003b288ea (patch)
tree87945f6ba10fe26eacafe382784c2d3430fa04c7 /python/problems/for-fkkt
parentfcede97411220ca6df841697c91968844f78446f (diff)
Prolog: remove inference limit for CLP(FD) tests
Diffstat (limited to 'python/problems/for-fkkt')
0 files changed, 0 insertions, 0 deletions