Milestones

List view

• v2.x : Other types of Decision Diagrams

  Addition of other types of decision diagrams

  No due date

  •0/11 issues closed
  0% complete11 open0 closed

• v2.0 : API Revamp

  Generalise and clean up API (⚠️ Breaking Changes ⚠️)

  No due date

  •43/57 issues closed
  75% complete14 open43 closed

• v2.4 : Higher Performance for Small Instances

  Drastically improve performance of Adiar by integrating it with conventional depth-first algorithms on a Hash Table.

  No due date

  •3/13 issues closed
  23% complete10 open3 closed

• v2.x : Other Multi-Recursive Features

  Non-paper additions within the v2.x paradigm of I/O-efficient multi-recursive algorithms.

  No due date

  •0/3 issues closed
  0% complete3 open0 closed

• v1.x : Other Singly-Recursive Features

  Non-paper additions within the v1.x paradigm of I/O-efficient singly-recursive algorithms.

  No due date

  •33/51 issues closed
  64% complete18 open33 closed

• v2.2 : Variable Reordering

  Manual and dynamic (non-monotone) *Variable Reordering*.

  No due date

  •14/23 issues closed
  60% complete9 open14 closed

• v3.0 : Proprietary Usage

  Make it possible to use Adiar in a proprietary and closed-source context, but also keeping Adiar within the public domain.

  No due date

  •4/10 issues closed
  40% complete6 open4 closed

• v3.0 : Thread Safety

  Allows Adiar to be used by multiple threads at the same time.

  No due date

  •2/5 issues closed
  40% complete3 open2 closed