v2.0.0-beta.4.3

Optimisations

• Nested Sweeping
  Ensure transposition for the generator-based quantification actually is run on a variable that exists in the decision diagram.

Contributors

• Steffan Sølvsten ( @SSoelvsten )