Worker

The Worker is the component of the Inference Harness that does all the low-level work such as creating problems and links, bubbling up proofs, etc. It takes its orders from a Tactician.