Given_Clause_Loops_Util

More_Given_Clause_Architectures

DISCOUNT_Loop

Prover_Queue

Fair_DISCOUNT_Loop

Otter_Loop

Fair_Otter_Loop_Def

iProver_Loop

Fair_iProver_Loop

Fair_Otter_Loop_Complete

Zipperposition_Loop

Prover_Lazy_List_Queue

Fair_Zipperposition_Loop

Fair_Zipperposition_Loop_without_Ghosts

Given_Clause_Loops