diff options
| -rw-r--r-- | solve.py | 6 |
1 files changed, 5 insertions, 1 deletions
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))" |
