/bdd

Spectral logic with binary decision diagrams in griffon

Primary LanguageGroovy

BDD

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.

Installation

Use gvm to install griffon/groovy.

To try type: griffon run-app

Note: tested with griffon 1.2