summaryrefslogtreecommitdiff
path: root/prolog/problems
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
parentdb0a1f751d0d0859320b65510fe14367524fd3d3 (diff)
Prolog: renumber and fix CLP(FD) problems
Diffstat (limited to 'prolog/problems')
-rw-r--r--prolog/problems/clp_fd/common.py2
-rw-r--r--prolog/problems/clp_fd/gcd_3/common.py4
-rw-r--r--prolog/problems/clp_fd/magic_1/common.py20
-rw-r--r--prolog/problems/clp_fd/puzzle_abc_3/common.py4
-rw-r--r--prolog/problems/clp_fd/puzzle_beth_1/common.py4
-rw-r--r--prolog/problems/clp_fd/puzzle_momson_2/common.py8
-rw-r--r--prolog/problems/clp_fd/puzzle_ratio_2/common.py4
-rw-r--r--prolog/problems/clp_fd/tobase_3/common.py4
8 files changed, 24 insertions, 26 deletions
diff --git a/prolog/problems/clp_fd/common.py b/prolog/problems/clp_fd/common.py
index f62433e..eec07f0 100644
--- a/prolog/problems/clp_fd/common.py
+++ b/prolog/problems/clp_fd/common.py
@@ -1,2 +1,2 @@
id = 8
-number = 8
+number = 9
diff --git a/prolog/problems/clp_fd/gcd_3/common.py b/prolog/problems/clp_fd/gcd_3/common.py
index de91550..37e49d4 100644
--- a/prolog/problems/clp_fd/gcd_3/common.py
+++ b/prolog/problems/clp_fd/gcd_3/common.py
@@ -3,8 +3,8 @@ import prolog.engine
import server.problems
id = 149
-number = 61
-visible = False
+number = 60
+visible = True
facts = None
solution = '''\
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):
diff --git a/prolog/problems/clp_fd/puzzle_abc_3/common.py b/prolog/problems/clp_fd/puzzle_abc_3/common.py
index 1c912bc..81c4e5e 100644
--- a/prolog/problems/clp_fd/puzzle_abc_3/common.py
+++ b/prolog/problems/clp_fd/puzzle_abc_3/common.py
@@ -3,8 +3,8 @@ import prolog.engine
import server.problems
id = 153
-number = 57
-visible = False
+number = 20
+visible = True
facts = None
solution = '''\
diff --git a/prolog/problems/clp_fd/puzzle_beth_1/common.py b/prolog/problems/clp_fd/puzzle_beth_1/common.py
index dd24bb6..e187cc9 100644
--- a/prolog/problems/clp_fd/puzzle_beth_1/common.py
+++ b/prolog/problems/clp_fd/puzzle_beth_1/common.py
@@ -3,8 +3,8 @@ import prolog.engine
import server.problems
id = 155
-number = 56
-visible = False
+number = 10
+visible = True
facts = None
solution = '''\
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]'}]),
]
diff --git a/prolog/problems/clp_fd/puzzle_ratio_2/common.py b/prolog/problems/clp_fd/puzzle_ratio_2/common.py
index a64aa57..8af5327 100644
--- a/prolog/problems/clp_fd/puzzle_ratio_2/common.py
+++ b/prolog/problems/clp_fd/puzzle_ratio_2/common.py
@@ -3,8 +3,8 @@ import prolog.engine
import server.problems
id = 154
-number = 59
-visible = False
+number = 40
+visible = True
facts = None
solution = '''\
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 = '''\