Skip to content

renamed re to rex and added custom pretty printing for info#4650

Merged
NikolajBjorner merged 1 commit intoZ3Prover:masterfrom veanes:rename-re-to-rexAug 20, 2020
+60-46

Commits

Commits on Aug 20, 2020