Last released Aug 28, 2020
An implementation of Weisfeiler-Leman algorithm to compare programs
Supported by