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/puzzle_momson_2 | |
parent | db0a1f751d0d0859320b65510fe14367524fd3d3 (diff) |
Prolog: renumber and fix CLP(FD) problems
Diffstat (limited to 'prolog/problems/clp_fd/puzzle_momson_2')
-rw-r--r-- | prolog/problems/clp_fd/puzzle_momson_2/common.py | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/prolog/problems/clp_fd/puzzle_momson_2/common.py b/prolog/problems/clp_fd/puzzle_momson_2/common.py index 978de1f..c5fbbe5 100644 --- a/prolog/problems/clp_fd/puzzle_momson_2/common.py +++ b/prolog/problems/clp_fd/puzzle_momson_2/common.py @@ -3,8 +3,8 @@ import prolog.engine import server.problems id = 152 -number = 58 -visible = False +number = 30 +visible = True facts = None solution = '''\ @@ -18,9 +18,7 @@ puzzle_momson(M, S) :- test_cases = [ ('puzzle_momson(M, S)', - [{'M': '42', 'S': '24'}]), - ('puzzle_momson(M, S)', - [{'M': '51', 'S': '15'}]), + [{'M': '42', 'S': '24'}, {'M': '51', 'S': '15'}]), ('setof(M/S, puzzle_momson(M, S), X)', [{'X': '[42/24, 51/15]'}]), ] |