diff options
author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-02-29 21:16:36 +0100 |
---|---|---|
committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-02-29 21:16:36 +0100 |
commit | ff8c6a018249920a79dd20d37edf5a4b7a311691 (patch) | |
tree | 6880a1c45e0b1972bb56289b5f61011f6ab20131 /prolog | |
parent | 0c2903fd70640db28e549485c262aaeaa7e79ad9 (diff) | |
parent | b893261f079b79b72db2bd7e8e67c36313d04237 (diff) |
Merge branch 'master' of ssh://192.168.15.97/codeq-problems
Diffstat (limited to 'prolog')
57 files changed, 57 insertions, 57 deletions
diff --git a/prolog/problems/clp_fd/gcd_3/common.py b/prolog/problems/clp_fd/gcd_3/common.py index 5048a73..627431c 100644 --- a/prolog/problems/clp_fd/gcd_3/common.py +++ b/prolog/problems/clp_fd/gcd_3/common.py @@ -6,7 +6,7 @@ import server.problems id = 149 number = 61 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/clp_fd/magic_1/common.py b/prolog/problems/clp_fd/magic_1/common.py index c9e89c7..423efc0 100644 --- a/prolog/problems/clp_fd/magic_1/common.py +++ b/prolog/problems/clp_fd/magic_1/common.py @@ -6,7 +6,7 @@ import server.problems id = 151 number = 60 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/clp_fd/puzzle_abc_3/common.py b/prolog/problems/clp_fd/puzzle_abc_3/common.py index 74275e9..fcaec95 100644 --- a/prolog/problems/clp_fd/puzzle_abc_3/common.py +++ b/prolog/problems/clp_fd/puzzle_abc_3/common.py @@ -6,7 +6,7 @@ import server.problems id = 153 number = 57 -visible = True +visible = False 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 50bdf08..870b476 100644 --- a/prolog/problems/clp_fd/puzzle_beth_1/common.py +++ b/prolog/problems/clp_fd/puzzle_beth_1/common.py @@ -6,7 +6,7 @@ import server.problems id = 155 number = 56 -visible = True +visible = False 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 cd423fb..c3d734d 100644 --- a/prolog/problems/clp_fd/puzzle_momson_2/common.py +++ b/prolog/problems/clp_fd/puzzle_momson_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 152 number = 58 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/clp_fd/puzzle_ratio_2/common.py b/prolog/problems/clp_fd/puzzle_ratio_2/common.py index d62a15f..77613d1 100644 --- a/prolog/problems/clp_fd/puzzle_ratio_2/common.py +++ b/prolog/problems/clp_fd/puzzle_ratio_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 154 number = 59 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/clp_fd/tobase_3/common.py b/prolog/problems/clp_fd/tobase_3/common.py index e358210..a31d773 100644 --- a/prolog/problems/clp_fd/tobase_3/common.py +++ b/prolog/problems/clp_fd/tobase_3/common.py @@ -6,7 +6,7 @@ import server.problems id = 150 number = 62 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/clp_r/bounding_box_3/common.py b/prolog/problems/clp_r/bounding_box_3/common.py index 94be5ee..eb2ac0a 100644 --- a/prolog/problems/clp_r/bounding_box_3/common.py +++ b/prolog/problems/clp_r/bounding_box_3/common.py @@ -2,7 +2,7 @@ id = 157 number = 67 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/clp_r/center_3/common.py b/prolog/problems/clp_r/center_3/common.py index 5391180..856194d 100644 --- a/prolog/problems/clp_r/center_3/common.py +++ b/prolog/problems/clp_r/center_3/common.py @@ -2,7 +2,7 @@ id = 158 number = 68 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/clp_r/linear_opt_3/common.py b/prolog/problems/clp_r/linear_opt_3/common.py index f6e8840..cf2dd5e 100644 --- a/prolog/problems/clp_r/linear_opt_3/common.py +++ b/prolog/problems/clp_r/linear_opt_3/common.py @@ -2,7 +2,7 @@ id = 159 number = 63 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/clp_r/max_sum_2/common.py b/prolog/problems/clp_r/max_sum_2/common.py index d025090..3f90b40 100644 --- a/prolog/problems/clp_r/max_sum_2/common.py +++ b/prolog/problems/clp_r/max_sum_2/common.py @@ -2,7 +2,7 @@ id = 156 number = 66 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/clp_r/megabytes_2/common.py b/prolog/problems/clp_r/megabytes_2/common.py index 1f5bdd5..1cedd38 100644 --- a/prolog/problems/clp_r/megabytes_2/common.py +++ b/prolog/problems/clp_r/megabytes_2/common.py @@ -2,7 +2,7 @@ id = 160 number = 65 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/clp_r/turkey_3/common.py b/prolog/problems/clp_r/turkey_3/common.py index b7bc7f4..0fde5a8 100644 --- a/prolog/problems/clp_r/turkey_3/common.py +++ b/prolog/problems/clp_r/turkey_3/common.py @@ -2,7 +2,7 @@ id = 161 number = 64 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/dcg/ab_2/common.py b/prolog/problems/dcg/ab_2/common.py index b9109fc..e562c1b 100644 --- a/prolog/problems/dcg/ab_2/common.py +++ b/prolog/problems/dcg/ab_2/common.py @@ -2,7 +2,7 @@ id = 162 number = 69 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/dcg/digit_2/common.py b/prolog/problems/dcg/digit_2/common.py index 571df40..e56e563 100644 --- a/prolog/problems/dcg/digit_2/common.py +++ b/prolog/problems/dcg/digit_2/common.py @@ -2,7 +2,7 @@ id = 164 number = 71 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/dcg/flower_2/common.py b/prolog/problems/dcg/flower_2/common.py index e28d10d..9d6f92e 100644 --- a/prolog/problems/dcg/flower_2/common.py +++ b/prolog/problems/dcg/flower_2/common.py @@ -2,7 +2,7 @@ id = 163 number = 70 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/dcg/number_2/common.py b/prolog/problems/dcg/number_2/common.py index a05ca18..b0659a6 100644 --- a/prolog/problems/dcg/number_2/common.py +++ b/prolog/problems/dcg/number_2/common.py @@ -2,7 +2,7 @@ id = 165 number = 72 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/dcg/number_3/common.py b/prolog/problems/dcg/number_3/common.py index 2977392..7c3daf1 100644 --- a/prolog/problems/dcg/number_3/common.py +++ b/prolog/problems/dcg/number_3/common.py @@ -2,7 +2,7 @@ id = 167 number = 74 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/dcg/number_proper_2/common.py b/prolog/problems/dcg/number_proper_2/common.py index a3e3592..2779539 100644 --- a/prolog/problems/dcg/number_proper_2/common.py +++ b/prolog/problems/dcg/number_proper_2/common.py @@ -2,7 +2,7 @@ id = 166 number = 73 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/dcg/paren_2/common.py b/prolog/problems/dcg/paren_2/common.py index 1d8f653..63ecd2f 100644 --- a/prolog/problems/dcg/paren_2/common.py +++ b/prolog/problems/dcg/paren_2/common.py @@ -2,7 +2,7 @@ id = 168 number = 75 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/dcg/paren_3/common.py b/prolog/problems/dcg/paren_3/common.py index a905149..a3cb6d3 100644 --- a/prolog/problems/dcg/paren_3/common.py +++ b/prolog/problems/dcg/paren_3/common.py @@ -2,7 +2,7 @@ id = 169 number = 76 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/license_plates/checklicenseplate_3/common.py b/prolog/problems/license_plates/checklicenseplate_3/common.py index 3a403d2..9f13afc 100644 --- a/prolog/problems/license_plates/checklicenseplate_3/common.py +++ b/prolog/problems/license_plates/checklicenseplate_3/common.py @@ -6,7 +6,7 @@ import server.problems id = 148 number = 55 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/license_plates/firstminus_2/common.py b/prolog/problems/license_plates/firstminus_2/common.py index dd967b6..39fee17 100644 --- a/prolog/problems/license_plates/firstminus_2/common.py +++ b/prolog/problems/license_plates/firstminus_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 147 number = 54 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/license_plates/genexp_2/common.py b/prolog/problems/license_plates/genexp_2/common.py index 4e2ebdf..99b078b 100644 --- a/prolog/problems/license_plates/genexp_2/common.py +++ b/prolog/problems/license_plates/genexp_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 146 number = 53 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/license_plates/getdigits_2/common.py b/prolog/problems/license_plates/getdigits_2/common.py index 33c45c6..d024c0a 100644 --- a/prolog/problems/license_plates/getdigits_2/common.py +++ b/prolog/problems/license_plates/getdigits_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 144 number = 51 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/license_plates/joindigits_2/common.py b/prolog/problems/license_plates/joindigits_2/common.py index ed284e7..d84b85e 100644 --- a/prolog/problems/license_plates/joindigits_2/common.py +++ b/prolog/problems/license_plates/joindigits_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 145 number = 52 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/conc_3/common.py b/prolog/problems/lists/conc_3/common.py index 82b700f..0c5312f 100644 --- a/prolog/problems/lists/conc_3/common.py +++ b/prolog/problems/lists/conc_3/common.py @@ -6,7 +6,7 @@ import server.problems id = 104 number = 12 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/count_3/common.py b/prolog/problems/lists/count_3/common.py index 0f4f171..2953f06 100644 --- a/prolog/problems/lists/count_3/common.py +++ b/prolog/problems/lists/count_3/common.py @@ -6,7 +6,7 @@ import server.problems id = 120 number = 27 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/del_3/common.py b/prolog/problems/lists/del_3/common.py index f19146f..23caf08 100644 --- a/prolog/problems/lists/del_3/common.py +++ b/prolog/problems/lists/del_3/common.py @@ -6,7 +6,7 @@ import server.problems id = 105 number = 11 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/divide_3/common.py b/prolog/problems/lists/divide_3/common.py index 25959aa..969cdec 100644 --- a/prolog/problems/lists/divide_3/common.py +++ b/prolog/problems/lists/divide_3/common.py @@ -6,7 +6,7 @@ import server.problems id = 115 number = 22 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/dup_2/common.py b/prolog/problems/lists/dup_2/common.py index 3697fa6..4153533 100644 --- a/prolog/problems/lists/dup_2/common.py +++ b/prolog/problems/lists/dup_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 110 number = 17 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/evenlen_1_+_oddlen_1/common.py b/prolog/problems/lists/evenlen_1_+_oddlen_1/common.py index 846ae95..1236551 100644 --- a/prolog/problems/lists/evenlen_1_+_oddlen_1/common.py +++ b/prolog/problems/lists/evenlen_1_+_oddlen_1/common.py @@ -6,7 +6,7 @@ import server.problems id = 116 number = 23 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/insert_3/common.py b/prolog/problems/lists/insert_3/common.py index 281d10c..be4da78 100644 --- a/prolog/problems/lists/insert_3/common.py +++ b/prolog/problems/lists/insert_3/common.py @@ -6,7 +6,7 @@ import server.problems id = 106 number = 13 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/len_2/common.py b/prolog/problems/lists/len_2/common.py index edcbe41..93a1faa 100644 --- a/prolog/problems/lists/len_2/common.py +++ b/prolog/problems/lists/len_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 119 number = 26 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/max_2/common.py b/prolog/problems/lists/max_2/common.py index 5187df3..92cf793 100644 --- a/prolog/problems/lists/max_2/common.py +++ b/prolog/problems/lists/max_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 109 number = 16 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/memb_2/common.py b/prolog/problems/lists/memb_2/common.py index b258731..c3f4dde 100644 --- a/prolog/problems/lists/memb_2/common.py +++ b/prolog/problems/lists/memb_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 103 number = 10 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/min_2/common.py b/prolog/problems/lists/min_2/common.py index 39ffe89..213da5a 100644 --- a/prolog/problems/lists/min_2/common.py +++ b/prolog/problems/lists/min_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 108 number = 15 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/palindrome_1/common.py b/prolog/problems/lists/palindrome_1/common.py index df7b2c0..e9960c6 100644 --- a/prolog/problems/lists/palindrome_1/common.py +++ b/prolog/problems/lists/palindrome_1/common.py @@ -6,7 +6,7 @@ import server.problems id = 112 number = 19 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/permute_2/common.py b/prolog/problems/lists/permute_2/common.py index 6a3cc7f..c6381c2 100644 --- a/prolog/problems/lists/permute_2/common.py +++ b/prolog/problems/lists/permute_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 107 number = 14 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/rev_2/common.py b/prolog/problems/lists/rev_2/common.py index b34a2fa..408389a 100644 --- a/prolog/problems/lists/rev_2/common.py +++ b/prolog/problems/lists/rev_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 111 number = 18 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/shiftleft_2/common.py b/prolog/problems/lists/shiftleft_2/common.py index 0d1c224..13db28f 100644 --- a/prolog/problems/lists/shiftleft_2/common.py +++ b/prolog/problems/lists/shiftleft_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 113 number = 20 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/shiftright_2/common.py b/prolog/problems/lists/shiftright_2/common.py index 728bae9..d8a4c9f 100644 --- a/prolog/problems/lists/shiftright_2/common.py +++ b/prolog/problems/lists/shiftright_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 114 number = 21 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/sublist_2/common.py b/prolog/problems/lists/sublist_2/common.py index 73e70ef..6187ebc 100644 --- a/prolog/problems/lists/sublist_2/common.py +++ b/prolog/problems/lists/sublist_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 117 number = 24 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/lists/sum_2/common.py b/prolog/problems/lists/sum_2/common.py index 559b18f..000b4b0 100644 --- a/prolog/problems/lists/sum_2/common.py +++ b/prolog/problems/lists/sum_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 118 number = 25 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/sets/diff_3/common.py b/prolog/problems/sets/diff_3/common.py index fe21e50..1f00d5c 100644 --- a/prolog/problems/sets/diff_3/common.py +++ b/prolog/problems/sets/diff_3/common.py @@ -6,7 +6,7 @@ import server.problems id = 130 number = 37 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/sets/intersect_3/common.py b/prolog/problems/sets/intersect_3/common.py index 1cf2945..afece71 100644 --- a/prolog/problems/sets/intersect_3/common.py +++ b/prolog/problems/sets/intersect_3/common.py @@ -6,7 +6,7 @@ import server.problems id = 129 number = 36 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/sets/is_subset_2/common.py b/prolog/problems/sets/is_subset_2/common.py index 696a4a6..9985a9d 100644 --- a/prolog/problems/sets/is_subset_2/common.py +++ b/prolog/problems/sets/is_subset_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 132 number = 39 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/sets/is_superset_2/common.py b/prolog/problems/sets/is_superset_2/common.py index 41a0aa3..7a5e373 100644 --- a/prolog/problems/sets/is_superset_2/common.py +++ b/prolog/problems/sets/is_superset_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 131 number = 38 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/sets/powerset_2/common.py b/prolog/problems/sets/powerset_2/common.py index aec5cab..1090bfa 100644 --- a/prolog/problems/sets/powerset_2/common.py +++ b/prolog/problems/sets/powerset_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 134 number = 41 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/sets/subset_2/common.py b/prolog/problems/sets/subset_2/common.py index 9cf4714..e67c4c4 100644 --- a/prolog/problems/sets/subset_2/common.py +++ b/prolog/problems/sets/subset_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 133 number = 40 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/sets/union_3/common.py b/prolog/problems/sets/union_3/common.py index 899d20e..c955fef 100644 --- a/prolog/problems/sets/union_3/common.py +++ b/prolog/problems/sets/union_3/common.py @@ -6,7 +6,7 @@ import server.problems id = 128 number = 35 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/sorting/is_sorted_1/common.py b/prolog/problems/sorting/is_sorted_1/common.py index 6409f20..0e8a49d 100644 --- a/prolog/problems/sorting/is_sorted_1/common.py +++ b/prolog/problems/sorting/is_sorted_1/common.py @@ -6,7 +6,7 @@ import server.problems id = 121 number = 28 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/sorting/isort_2/common.py b/prolog/problems/sorting/isort_2/common.py index 7b48990..560e3e8 100644 --- a/prolog/problems/sorting/isort_2/common.py +++ b/prolog/problems/sorting/isort_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 123 number = 30 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/sorting/pivoting_4/common.py b/prolog/problems/sorting/pivoting_4/common.py index 4dbabcb..17cf270 100644 --- a/prolog/problems/sorting/pivoting_4/common.py +++ b/prolog/problems/sorting/pivoting_4/common.py @@ -6,7 +6,7 @@ import server.problems id = 124 number = 31 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/sorting/quick_sort_2/common.py b/prolog/problems/sorting/quick_sort_2/common.py index 25466e2..85ababe 100644 --- a/prolog/problems/sorting/quick_sort_2/common.py +++ b/prolog/problems/sorting/quick_sort_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 125 number = 32 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/sorting/sins_3/common.py b/prolog/problems/sorting/sins_3/common.py index a582dc5..a363bac 100644 --- a/prolog/problems/sorting/sins_3/common.py +++ b/prolog/problems/sorting/sins_3/common.py @@ -6,7 +6,7 @@ import server.problems id = 122 number = 29 -visible = True +visible = False facts = None solution = '''\ diff --git a/prolog/problems/sorting/slowest_sort_ever_2/common.py b/prolog/problems/sorting/slowest_sort_ever_2/common.py index 304f491..38f2d1d 100644 --- a/prolog/problems/sorting/slowest_sort_ever_2/common.py +++ b/prolog/problems/sorting/slowest_sort_ever_2/common.py @@ -6,7 +6,7 @@ import server.problems id = 126 number = 33 -visible = True +visible = False facts = None solution = '''\ |