Add enumerative inference to the inference library

Add enumerative inference to the inference library #2