Module similarities 

The similarity lower bound of DL8.5.

Structs

SimilarityCover

Two solved sets of instances and their errors, used to bound the error of a new set: if a solved set had error e and k of its instances are missing from the new set, the new set’s error is at least e - k.