Rule:ThinSolver
@RULE ThinSolver
https://conwaylife.com/forums/viewtopic.php?p=57179#p57205
0 vacuum 1 wall 2 fill 3 reject 4 goal @TREE
num_states=5 num_neighbors=4 num_nodes=31 1 0 1 2 3 4 1 2 1 2 3 4 2 0 0 1 0 0 2 1 1 0 0 0 2 0 0 0 0 0 3 2 2 3 4 4 3 3 3 4 4 4 3 4 4 4 4 4 4 5 5 6 7 7 1 3 1 2 3 4 2 0 0 9 0 0 1 0 1 3 3 4 1 4 1 4 3 4 2 1 9 9 11 12 2 0 0 11 0 0 2 0 0 12 0 0 3 2 10 13 14 15 2 0 9 0 0 0 2 0 11 0 11 12 2 0 12 0 12 0 3 3 13 17 18 19 3 4 14 18 14 15 3 4 15 19 15 4 4 5 16 20 21 22 3 4 17 4 4 4 3 4 18 4 18 19 3 4 19 4 19 4 4 6 20 24 25 26 4 7 21 25 21 22 4 7 22 26 22 7 5 8 23 27 28 29
@TABLE n_states:5 neighborhood:vonNeumann symmetries:permute var a = {0,1} var b = a var f = {1,3} var g = f var h = {0,2}
- draw path
0,2,0,a,b,2
- reject dead end
0,1,1,1,2,3
- reject loop
0,1,1,2,2,3
- retrace bad path
2,2,3,f,g,3
- retrace good path
h,2,4,f,g,4
@COLORS 1 130 130 130 2 140 000 140 3 220 000 000 4 000 220 000