diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-06 12:41:22 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-06 12:41:22 +0200 |
commit | 5d47b74d949fd8647e2071f55b264a003a83e8b1 (patch) | |
tree | 53937d3bb79198b04242511ea858d8eebb1643d5 /prolog/problems/clp_fd/common.py | |
parent | db0a1f751d0d0859320b65510fe14367524fd3d3 (diff) |
Prolog: renumber and fix CLP(FD) problems
Diffstat (limited to 'prolog/problems/clp_fd/common.py')
-rw-r--r-- | prolog/problems/clp_fd/common.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/problems/clp_fd/common.py b/prolog/problems/clp_fd/common.py index f62433e..eec07f0 100644 --- a/prolog/problems/clp_fd/common.py +++ b/prolog/problems/clp_fd/common.py @@ -1,2 +1,2 @@ id = 8 -number = 8 +number = 9 |