summaryrefslogtreecommitdiff
path: root/prolog/problems/clp_fd/tobase_3
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-06 12:41:22 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-06 12:41:22 +0200
commit5d47b74d949fd8647e2071f55b264a003a83e8b1 (patch)
tree53937d3bb79198b04242511ea858d8eebb1643d5 /prolog/problems/clp_fd/tobase_3
parentdb0a1f751d0d0859320b65510fe14367524fd3d3 (diff)
Prolog: renumber and fix CLP(FD) problems
Diffstat (limited to 'prolog/problems/clp_fd/tobase_3')
-rw-r--r--prolog/problems/clp_fd/tobase_3/common.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/prolog/problems/clp_fd/tobase_3/common.py b/prolog/problems/clp_fd/tobase_3/common.py
index ef1ee61..eabcad2 100644
--- a/prolog/problems/clp_fd/tobase_3/common.py
+++ b/prolog/problems/clp_fd/tobase_3/common.py
@@ -3,8 +3,8 @@ import prolog.engine
import server.problems
id = 150
-number = 62
-visible = False
+number = 70
+visible = True
facts = None
solution = '''\