From e61b60b35b8ba07cac0624b4344c8d840bb5bba0 Mon Sep 17 00:00:00 2001 From: Emile Date: Sun, 19 Feb 2023 04:42:51 +0100 Subject: save before pause --- solve.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/solve.py b/solve.py index 74bc7c0..3e6660a 100644 --- a/solve.py +++ b/solve.py @@ -483,12 +483,16 @@ def brute_force_single(level, s, goal_s): ### ######################################## s='(λa b. a λc. b (a c))' -t='(λa b. a λc. b (a a c))' +s='(λa b c. a b (a c))' +t='(λa b c. a b (a c))' +#t='(λa b. a λc. b (a a c))' goal_s='(λx y. x)' goal_t='(λx y. y)' r1 = brute_force(0, s, t, goal_s, goal_t) print(f"{r1=}") +exit() + #for i in range(0, 50): # s = "(λa b. a (a b))" # t = "(λa b. a (a a))" -- cgit 1.4.1