The code isn't magically solving NP vs P but it does simulate non deterministic run through a potentially exponential exploration.