diff LICENSE @ 4643:a47f7a901c7a

use GraphOrder in CanonicalizerPhase (leads to fewer iterations)
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 20 Feb 2012 14:22:23 +0100
parents cdef89d821bd
children 1df7a97c92d5
line wrap: on
line diff