Welcome to QCan!

    Rewrite
    Minimisation
    Canonical Labeling