z3 icon indicating copy to clipboard operation
z3 copied to clipboard

Published 20 hours ago • verified publisher icon Z3Prover

WiP: nightly versioning for distinct symbol archiving by version

Open jfleisher opened this issue 2 years ago • 0 comments

Updates version number based on build so each build can get it's distinct symbols archived.

jfleisher avatar Jan 12 '23 22:01 jfleisher