smart_induct: avoid calling the same heuristic multiple times. - Githubissues

data61 / PSL

Other

65 stars 9 forks source link

smart_induct: avoid calling the same heuristic multiple times. #128

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

Modify Apply_LiFtEr.update_assert in Apply_LiFtEr_Struct.ML.

yutakang commented 4 years ago

Done some time ago.