z3 icon indicating copy to clipboard operation
z3 copied to clipboard
verified publisher icon Z3Prover

revert the behavior of add_zero_assumption

Open levnach opened this issue 1 year ago • 0 comments

levnach avatar Apr 23 '25 19:04 levnach