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/magic_1 | |
| parent | db0a1f751d0d0859320b65510fe14367524fd3d3 (diff) | |
Prolog: renumber and fix CLP(FD) problems
Diffstat (limited to 'prolog/problems/clp_fd/magic_1')
| -rw-r--r-- | prolog/problems/clp_fd/magic_1/common.py | 20 |
1 files changed, 10 insertions, 10 deletions
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): |