From 5d47b74d949fd8647e2071f55b264a003a83e8b1 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Fri, 6 May 2016 12:41:22 +0200 Subject: Prolog: renumber and fix CLP(FD) problems --- prolog/problems/clp_fd/tobase_3/common.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'prolog/problems/clp_fd/tobase_3') 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 = '''\ -- cgit v1.2.1