Repository navigation

perf(smt): no relevance tables when no lemma is to be selected - #1221

Merged

strub merged 1 commit into

mainfrom

perf/smt-given-lemmas

Oct 28, 2026

Merged

perf(smt): no relevance tables when no lemma is to be selected#1221
strub merged 1 commit into
mainfrom
perf/smt-given-lemmas

Commits on Oct 28, 2026
- perf(smt): no relevance tables when no lemma is to be selected
  strub
  committed
  1622579