diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-29 19:00:23 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-29 19:00:45 +0200 |
| commit | 0d32abe688f0636988090f653f75bc33616ad610 (patch) | |
| tree | ad2ee77fb6ed309609d6dfe414941d5baf1243f7 /prolog/problems/clp_r/linear_opt_3 | |
| parent | 39e171d652db076dd96fe3afbc77e26aafd7fa32 (diff) | |
Prolog: add triggers for is_sorted/1 hints
Diffstat (limited to 'prolog/problems/clp_r/linear_opt_3')
0 files changed, 0 insertions, 0 deletions