diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-08 17:29:57 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-08 17:29:57 +0200 |
| commit | d7ae7eb0e416d5e5d9c02bc4f3a3cd0003b288ea (patch) | |
| tree | 87945f6ba10fe26eacafe382784c2d3430fa04c7 /prolog/problems/world_data | |
| parent | fcede97411220ca6df841697c91968844f78446f (diff) | |
Prolog: remove inference limit for CLP(FD) tests
Diffstat (limited to 'prolog/problems/world_data')
0 files changed, 0 insertions, 0 deletions