Spectral logic and binary decision diagrams (BDD)
- Bdd reduction with step by step animations
- Calculation of dyadic autocorrelation: basic, using Wiener–Khinchin theorem, and with DD.
Use gvm to install griffon/groovy.
To try type: griffon run-app
Note: tested with griffon 1.2