search

swtv-kaist / cs458-fall22

1 stars 0 forks source link

Does QF_LIA support "If_then_else"? #38

Closed bltnynk closed 1 year ago

bltnynk commented 1 year ago

Hi professor. May I ask does QF_LIA support "if_then_else" in its specification? In general, how do we know if a certain logic support a specific construct or not?