Improved the formatting of several problem descriptions.

Changed seed behavior: moved _secret_seed into problems.py and made it so changing the description does not change the seed.

Author: akalai

_secret_seed.txt

@@ -22,8 +22,10 @@
 
 import utils
 
-# if os.environ['PYTHONHASHSEED'] != '0':
-#     utils.warn("Environment variable PYTHONHASHSEED should be set to 0 to make executions deterministic")
+
+# The seed used for randomness is important because if a solver has access to this seed it can cheat and
+# reverse-engineer the solutions to some puzzles. Don't share the seed with AI puzzle solvers :-)
+_AI_SEED = 12389484322359235125123212243523534510980967133563
 
 
 problem_registry = {}
@@ -124,8 +126,7 @@ def register(problem_class):
 
 PATH = os.path.join(utils.my_path, "problems/")
 
-_secret_seed = None # Don't share the seed with the AI problem solver or it can cheat on several puzzles by
-# re-generating the puzzles together with the solution :-)
+
 
 
 class InterpreterError(Exception): pass
@@ -342,19 +343,6 @@ def char(self, chars="0123456789abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTU
         return self.choice(chars)
 
 
-def get_seed_str(filename, summary):
-    global _secret_seed
-    if _secret_seed is None:
-        secret_seed_path = os.path.join(utils.my_path, "_secret_seed.txt")
-        try:
-            with open(secret_seed_path, "r") as f:
-                _secret_seed = f.read()
-        except FileNotFoundError:
-            utils.warning(f"Couldn't find `{secret_seed_path}`")
-            _secret_seed = "92354683922359"
-    return f"{filename} | {_secret_seed} | {summary}"
-
-
 class ProblemSet:
     def __init__(self, name, summary=None):
         self.problems = []  # Problem's
@@ -587,13 +575,13 @@ def get_example(cls):
 
     timeout = None  # how much longer than usual can sat run?
 
-    def __init__(self, seed=None):
+    def __init__(self, seed=_AI_SEED):
         self.name = self.__class__.__name__
         if not self.__doc__ or self.__doc__ == Problem.__doc__:
             self.desc = "<No description/docstring>"
         else:
             self.desc = unindent(self.__doc__)
-        self.random = BuilderRandom(f"{seed} | {self.name} | {self.desc}")
+        self.random = BuilderRandom(f"{seed} | {self.name}")
         self.instances = []
         self._seen_problems = set()
         self._built_target = 0
@@ -778,7 +766,7 @@ def save_readme(problem_sets, filename=os.path.join(PATH, "README.md")):
         tot_instances += n_instances
         table += f"- [{sec_name} ({len(ps.problems):,} problems, {n_instances:,} instances)](#{sec_name.lower().replace(' ', '-')})\n"
         for i, problem in enumerate(ps.problems):
-            section += f"### {problem.name} ({link} {i + 1:,}/{n:,})\n\n"
+            section += f"### {problem.name}\n({link} {i + 1:,}/{n:,})\n\n"
             section += f"**Description:**\n{problem.desc}\n\n"
             section += f"**Problem:**\n\n```python\n{problem.instances[0].src}\n```\n"
             if len(problem.instances[0].sol_srcs) > 0: