Skip to content

claude: feat(symbolic): add k-induction, IC3/CHC, smart mode, set ops…

9d1398b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat(symbolic): k-induction, IC3/CHC, smart mode, set ops, strings, traces #8

claude: feat(symbolic): add k-induction, IC3/CHC, smart mode, set ops…
9d1398b
Select commit
Loading
Failed to load commit list.
check
failed Feb 12, 2026 in 15m 2s