Code

Internal/nested sweep/2 level cuts#687

Code

Merged

SSoelvsten merged 5 commits intomainSSoelvsten/adiar:mainfrom internal/nested_sweep/2-level_cutsSSoelvsten/adiar:internal/nested_sweep/2-level_cutsCopy head branch name to clipboardJul 5, 2024

Commits

Commits on Jul 4, 2024

• Add ''missing'' unit tests for variations of BDD quantification

  SSoelvsten

  committed
  028f1b2

  Copy full SHA for 028f1b2

• Clean up in unit tests for 'zdd_project'

  SSoelvsten

  committed
  a041d5d

  Copy full SHA for a041d5d

• Fix Nested Sweeping induces a 2-level cut on its outer Reduce

  SSoelvsten

  committed
  69dfef4

  Copy full SHA for 69dfef4

• Format latest changes

  SSoelvsten

  committed
  8085c7b

  Copy full SHA for 8085c7b

• Fix formatting in 'levelized_file_stream'

  SSoelvsten

  committed
  c7278f5

  Copy full SHA for c7278f5