Spectral logic with binary decision diagrams in griffon