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/magic_1/common.py | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'prolog/problems/clp_fd/magic_1/common.py') diff --git a/prolog/problems/clp_fd/magic_1/common.py b/prolog/problems/clp_fd/magic_1/common.py index 6e50198..81a6645 100644 --- a/prolog/problems/clp_fd/magic_1/common.py +++ b/prolog/problems/clp_fd/magic_1/common.py @@ -3,8 +3,8 @@ import prolog.engine import server.problems id = 151 -number = 60 -visible = False +number = 50 +visible = True facts = None solution = '''\ @@ -21,14 +21,14 @@ magic(L):- test_cases = [ ('magic(X)', - [{'X': '[2, 7, 6, 9, 5, 1, 4, 3, 8]'}]), - ('magic(X)', - [{'X': '[2, 9, 4, 7, 5, 3, 6, 1, 8]'}]), - ('setof(S, magic(S), X)', - [{'X': '[[2, 7, 6, 9, 5, 1, 4, 3, 8], [2, 9, 4, 7, 5, 3, 6, 1, 8], \ - [4, 3, 8, 9, 5, 1, 2, 7, 6], [4, 9, 2, 3, 5, 7, 8, 1, 6], \ - [6, 1, 8, 7, 5, 3, 2, 9, 4], [6, 7, 2, 1, 5, 9, 8, 3, 4], \ - [8, 1, 6, 3, 5, 7, 4, 9, 2], [8, 3, 4, 1, 5, 9, 6, 7, 2]]'}]), + [{'X': '[2, 7, 6, 9, 5, 1, 4, 3, 8]'}, + {'X': '[2, 9, 4, 7, 5, 3, 6, 1, 8]'}, + {'X': '[4, 3, 8, 9, 5, 1, 2, 7, 6]'}, + {'X': '[4, 9, 2, 3, 5, 7, 8, 1, 6]'}, + {'X': '[6, 1, 8, 7, 5, 3, 2, 9, 4]'}, + {'X': '[6, 7, 2, 1, 5, 9, 8, 3, 4]'}, + {'X': '[8, 1, 6, 3, 5, 7, 4, 9, 2]'}, + {'X': '[8, 3, 4, 1, 5, 9, 6, 7, 2]'}]), ] def test(code, aux_code): -- cgit v1.2.1