search

data61 / PSL

Other
65 stars 9 forks source link

Quick_SeLFiE: evaluation strategy #115

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

SeLFiE uses strict evaluation. See the comment in From_Parameter_With_Bool_To_Bound.ML.

Should I change it for the next version of SeLFiE?

yutakang commented 4 years ago

We use lazy sequence for Ands and Ors.