ReadGlim
Symmetries in boolean scans — ReadGlim