Skip to content

marco: immediately shrink to core if not subset#5203

Merged
NikolajBjorner merged 1 commit intoZ3Prover:masterfrom tias:patch-1Apr 20, 2021
+1

Commits

Commits on Apr 20, 2021