add to IC3 with SMT; should be enough for now
didn’t go into details about IC3, as that’s already done in §3.1
it might be a good idea to rearrange some of the theory sections around to make them more readable ? @k2tariq
didn’t go into details about IC3, as that’s already done in §3.1
it might be a good idea to rearrange some of the theory sections around to make them more readable ? @k2tariq