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
Automation access tokens are expiring. If you do not use automation that relies on a personal, group or project access token, this message can be safely ignored.
For more information, see https://about.gitlab.com/blog/2023/10/25/access-token-lifetime-limits/
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