From: François Fleuret Date: Sat, 8 Jul 2023 19:50:12 +0000 (+0200) Subject: Update. X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=3d6738c9406c70bd3593b49c596bcf451bc2b946;p=picoclvr.git Update. --- diff --git a/expr.py b/expr.py index d07d09f..8690504 100755 --- a/expr.py +++ b/expr.py @@ -48,7 +48,7 @@ def generate_program(nb_variables, length): # We take length itself half of the time, and uniform between 1 # and length otherwise. The actual length can be slightly greater - length = min(length, 1+torch.randint(length*2, (1,)).item()) + length = min(length, 1 + torch.randint(length * 2, (1,)).item()) while len(s) < length: v = random_var(nb_variables=nb_variables) s += v + "=" + random_expr(variables, budget=20) + ";" @@ -69,7 +69,7 @@ def extract_results(seq): def generate_sequences(nb, nb_variables=5, length=20): assert nb_variables <= 26 sequences = [] - result_max=99 + result_max = 99 for n in range(nb): result = None while result == None or max(result.values()) > result_max: