refactor(Machines): plain polynomial-time tape, configuration and breadth-first search rules - #1670

refactor(Machines): plain polynomial-time tape, configuration and breadth-first search rules#1670

SamuelSchlesinger merged 3 commits into

cslib-community:maincslib-community/complexitylib:mainfrom

chris-ai1:refactor/plain-reachability-862chris-ai1/complexitylib:refactor/plain-reachability-862Copy head branch name to clipboard