P
Initializing...
Cook–Levin machines: reset all heads with linear runtime overhead · Prove2Me