summaryrefslogtreecommitdiff
path: root/prolog/problems
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems')
-rw-r--r--prolog/problems/denotational_semantics/algol_3/common.py2
-rw-r--r--prolog/problems/denotational_semantics/algol_for_3/common.py2
-rw-r--r--prolog/problems/denotational_semantics/algol_if_3/common.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_8puzzle_2/common.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_8puzzle_3/common.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_listswap_2/common.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_listswap_3/common.py2
-rw-r--r--prolog/problems/trees/deletebt_3/common.py2
-rw-r--r--prolog/problems/trees/depthbt_2/common.py2
-rw-r--r--prolog/problems/trees/insertbt_3/common.py2
-rw-r--r--prolog/problems/trees/maxt_2/common.py2
-rw-r--r--prolog/problems/trees/memberbt_2/common.py2
-rw-r--r--prolog/problems/trees/membert_2/common.py2
-rw-r--r--prolog/problems/trees/mirrorbt_2/common.py2
-rw-r--r--prolog/problems/trees/numberbt_2/common.py2
-rw-r--r--prolog/problems/trees/tolistbt_2/common.py2
16 files changed, 16 insertions, 16 deletions
diff --git a/prolog/problems/denotational_semantics/algol_3/common.py b/prolog/problems/denotational_semantics/algol_3/common.py
index cce9b69..d7607c4 100644
--- a/prolog/problems/denotational_semantics/algol_3/common.py
+++ b/prolog/problems/denotational_semantics/algol_3/common.py
@@ -2,7 +2,7 @@
id = 176
number = 83
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/denotational_semantics/algol_for_3/common.py b/prolog/problems/denotational_semantics/algol_for_3/common.py
index 4cf9373..3261c99 100644
--- a/prolog/problems/denotational_semantics/algol_for_3/common.py
+++ b/prolog/problems/denotational_semantics/algol_for_3/common.py
@@ -2,7 +2,7 @@
id = 178
number = 85
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/denotational_semantics/algol_if_3/common.py b/prolog/problems/denotational_semantics/algol_if_3/common.py
index 0c52886..faf0e4c 100644
--- a/prolog/problems/denotational_semantics/algol_if_3/common.py
+++ b/prolog/problems/denotational_semantics/algol_if_3/common.py
@@ -2,7 +2,7 @@
id = 177
number = 84
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
index d994039..c6d4db0 100644
--- a/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
+++ b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
@@ -2,7 +2,7 @@
id = 172
number = 81
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py b/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py
index 15dce6b..494f628 100644
--- a/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py
+++ b/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py
@@ -2,7 +2,7 @@
id = 173
number = 82
-visible = True
+visible = False
facts = 'denotational_semantics_aux__predicates'
solution = '''\
diff --git a/prolog/problems/denotational_semantics/prog_listswap_2/common.py b/prolog/problems/denotational_semantics/prog_listswap_2/common.py
index 1f8b655..020b31c 100644
--- a/prolog/problems/denotational_semantics/prog_listswap_2/common.py
+++ b/prolog/problems/denotational_semantics/prog_listswap_2/common.py
@@ -2,7 +2,7 @@
id = 175
number = 79
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/denotational_semantics/prog_listswap_3/common.py b/prolog/problems/denotational_semantics/prog_listswap_3/common.py
index a40be29..6f96f85 100644
--- a/prolog/problems/denotational_semantics/prog_listswap_3/common.py
+++ b/prolog/problems/denotational_semantics/prog_listswap_3/common.py
@@ -2,7 +2,7 @@
id = 174
number = 80
-visible = True
+visible = False
facts = 'denotational_semantics_aux__predicates'
solution = '''\
diff --git a/prolog/problems/trees/deletebt_3/common.py b/prolog/problems/trees/deletebt_3/common.py
index 98ad95f..52f9e3f 100644
--- a/prolog/problems/trees/deletebt_3/common.py
+++ b/prolog/problems/trees/deletebt_3/common.py
@@ -2,7 +2,7 @@
id = 137
number = 47
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/trees/depthbt_2/common.py b/prolog/problems/trees/depthbt_2/common.py
index 85dfa27..4542419 100644
--- a/prolog/problems/trees/depthbt_2/common.py
+++ b/prolog/problems/trees/depthbt_2/common.py
@@ -2,7 +2,7 @@
id = 140
number = 45
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/trees/insertbt_3/common.py b/prolog/problems/trees/insertbt_3/common.py
index f8ef004..eb1ea94 100644
--- a/prolog/problems/trees/insertbt_3/common.py
+++ b/prolog/problems/trees/insertbt_3/common.py
@@ -2,7 +2,7 @@
id = 138
number = 48
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/trees/maxt_2/common.py b/prolog/problems/trees/maxt_2/common.py
index 280cb25..b1cdb39 100644
--- a/prolog/problems/trees/maxt_2/common.py
+++ b/prolog/problems/trees/maxt_2/common.py
@@ -2,7 +2,7 @@
id = 143
number = 50
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/trees/memberbt_2/common.py b/prolog/problems/trees/memberbt_2/common.py
index f5e5435..6df89e3 100644
--- a/prolog/problems/trees/memberbt_2/common.py
+++ b/prolog/problems/trees/memberbt_2/common.py
@@ -2,7 +2,7 @@
id = 135
number = 42
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/trees/membert_2/common.py b/prolog/problems/trees/membert_2/common.py
index c91371e..7d8f207 100644
--- a/prolog/problems/trees/membert_2/common.py
+++ b/prolog/problems/trees/membert_2/common.py
@@ -2,7 +2,7 @@
id = 142
number = 49
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/trees/mirrorbt_2/common.py b/prolog/problems/trees/mirrorbt_2/common.py
index cc271cc..1ee0a9c 100644
--- a/prolog/problems/trees/mirrorbt_2/common.py
+++ b/prolog/problems/trees/mirrorbt_2/common.py
@@ -2,7 +2,7 @@
id = 136
number = 43
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/trees/numberbt_2/common.py b/prolog/problems/trees/numberbt_2/common.py
index 7df71d8..e75075e 100644
--- a/prolog/problems/trees/numberbt_2/common.py
+++ b/prolog/problems/trees/numberbt_2/common.py
@@ -2,7 +2,7 @@
id = 139
number = 44
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/trees/tolistbt_2/common.py b/prolog/problems/trees/tolistbt_2/common.py
index e6c8ffd..3c14c4e 100644
--- a/prolog/problems/trees/tolistbt_2/common.py
+++ b/prolog/problems/trees/tolistbt_2/common.py
@@ -2,7 +2,7 @@
id = 141
number = 46
-visible = True
+visible = False
facts = None
solution = '''\