Skip to content

correct lemmas limit in the multi-check mode#484

Merged
ahmed-irfan merged 1 commit intomasterfrom mcsat-lemma-limit-updateDec 20, 2023
+1-1

Commits

Commits on Dec 20, 2023