runall/run.py

import autogolf
import sys

processes = 8
timeout = 5 # seconds
out_valid_prefix = "output/valid_scripts_"
out_log = sys.stdout

print("\nSearching for identity")
identity = autogolf.find_script(
    (
        ("1", "1"),
        ("42", "42"),
        ("1984", "1984"),
    ),
    max_length=3,
    processes=processes,
    timeout=timeout,
    out_valid_prefix=out_valid_prefix,
    out_log=out_log,
)
print("Candidates:", identity)

print("\nSearching for successor")
successor = autogolf.find_script(
    (
        ("1", "2"),
        ("42", "43"),
        ("1984", "1985"),
    ),
    max_length=5,
    processes=processes,
    timeout=timeout,
    out_valid_prefix=out_valid_prefix,
    out_log=out_log,
)
print("Candidates:", successor)