Translate PythonProgrammingPuzzles into Julia

[zenna]

PythonProgrammingPuzzles is a set of example programs expressed in Python.

You're given a predicate, typically called sat, e.g.

def sat(s: str):
    """Find a string with 1000 'o's but no two adjacent 'o's."""
    return s.count('o') == 1000 and s.count('oo') == 0

And the challenge is to find some input to sat that makes the predicate return True.

Clearly this is an inversion problem and so this could serve as a really good benchmark suite for parametric inversion. But it's in Python, so we need to translate this into Julia.

• [ ] Translate existing dataset into Julia
• [ ] Ensure that the functions in Julia are type stable where possible