ap.proof.goal
Trait to assign weights (integers) to constant and predicate symbols. Such weights are used to decide which atoms to split over first
Trait to assign weights (integers) to constant and predicate symbols. Such weights are used to decide which atoms to split over first