SeLFiE: ignore sub-goals that are not the first sub-goal.

data61 / PSL

Other

65 stars 9 forks source link

SeLFiE: ignore sub-goals that are not the first sub-goal. #141

Open yutakang opened 4 years ago

yutakang commented 4 years ago

I cannot imagine a situation where these sub-goals affect how to apply the induct method to the first sub-goal, while it is obviously negatively influencing the speed of the SeLFiE interpreter.