SSoelvsten/adiar

Issues

• Add `bdd_replace` statistics

  #669 opened 22 days ago by SSoelvsten
  0

• Docs does not show SFINAE overloading for `bdd_satmin` and `bdd_satmax`

  #668 opened a month ago by SSoelvsten
  0

• Add `-` and `-=` operator overload to `adiar::bdd`

  #664 opened a month ago by SSoelvsten
  0

• Add Domain to `bdd_satmin`, `bdd_satmax`, ...

  #665 opened a month ago by SSoelvsten
  0

• Add `zdd_ispoint` and `zdd_point`

  #571 opened 7 months ago by SSoelvsten
  0

• Add `consumer<int>` overload for `bdd_satmin` and `bdd_satmax`

  #585 opened 7 months ago by SSoelvsten
  0

• Further Optimize Initial Transposition

  #655 opened 2 months ago by SSoelvsten
  0

• GitHub Action: set-output is deprecated

  #658 opened 2 months ago by SSoelvsten
  0

• Quantification statistics : Total Number of Runs is Incorrect (Singleton Quantification)

  #644 opened 3 months ago by SSoelvsten
  2

• Add general `prod2_unary` algorithm

  #614 opened 4 months ago by SSoelvsten
  1

• (Indifferent) Unit and Pure Literals

  #631 opened 4 months ago by SSoelvsten
  0

• Add True-pruning to Transposing Single-variable Quantification Sweep with Predicates

  #652 opened 2 months ago by SSoelvsten
  0

• Thread Safety

  #650 opened 2 months ago by SSoelvsten
  0

• Add `bdd_traverse`

  #553 opened 9 months ago by SSoelvsten
  0

• Add `bdd_isvar` and `zdd_isvar`

  #551 opened 9 months ago by SSoelvsten
  0

• Use BDDs and ZDDs as conditionals

  #536 opened 9 months ago by SSoelvsten
  0

• Add `bdd_subset`, `bdd_subseteq`, and `bdd_disjoint`

  #616 opened 4 months ago by SSoelvsten
  0

• Add Pseudo Boolean Constraints (`bdd_pbc` and `zdd_pbc`)

  #604 opened 6 months ago by SSoelvsten
  0

• Copy 'random access' test to 'priority queue'

  #570 opened 8 months ago by SSoelvsten
  0

• Add `make_request<...>(...)` functions

  #613 opened 4 months ago by SSoelvsten
  0

• Add tests to cover minor BDD operations and operator overloads

  #611 opened 5 months ago by SSoelvsten
  0

• Move Nested Sweeping Settings into `exec_policy`

  #596 opened 5 months ago by SSoelvsten
  0

• Overload API with Ranges

  #554 opened 9 months ago by SSoelvsten
  1

• Add `dd_reorder` for a Single Decision Diagram

  #560 opened 8 months ago by SSoelvsten
  0

• Move cut logic into `cut_type`

  #543 opened 9 months ago by SSoelvsten
  0

• Add Easy and Minimal (and hence usable) Examples

  #555 opened 6 months ago by SSoelvsten
  0

• Make `adiar::internal` its own Module in Documentation

  #586 opened 7 months ago by SSoelvsten
  1

• Dot files for better images

  #602 opened 6 months ago by gimmelemons
  2

• Upper Bound for Secondary Priority Queue is too small in Nested Sweeping Quantification

  #594 opened 7 months ago by SSoelvsten
  1

• Add `bdd_project`

  #558 opened 8 months ago by SSoelvsten
  0

• Add `zdd_exists` and `zdd_forall`

  #593 opened 7 months ago by SSoelvsten
  0

• Add `zdd_ite`

  #592 opened 7 months ago by SSoelvsten
  0

• Overload API with Simple Generator Alternatives

  #566 opened 8 months ago by SSoelvsten
  0

• Improve performance of copying and referencing `exec_policy`

  #549 opened 9 months ago by SSoelvsten
  0

• `bdd_ite` : Missing unit tests

  #574 opened 7 months ago by SSoelvsten
  0

• Add generator overload to `internal::file<T>` and `internal::file_stream<T>`

  #578 opened 7 months ago by SSoelvsten
  0

• Split `ptr_uint64` in two

  #587 opened 7 months ago by SSoelvsten
  0

• Add Installation for Dependency without Submodules

  #579 opened 7 months ago by SSoelvsten
  0

• Extend `bdd_and` and `bdd_or` with negation flags

  #556 opened 7 months ago by SSoelvsten
  0

• Improve legibility of `bdd_support` (earlier `bdd_varprofile`)

  #552 opened 9 months ago by SSoelvsten
  1

• Discussion: Naming Convention for (Public) API

  #542 opened 9 months ago by SSoelvsten
  6

• Add `bdd_const` and `bdd_isconst` aliases

  #565 opened 8 months ago by SSoelvsten
  1

• Add `bdd_then`/`bdd_else`

  #557 opened 8 months ago by SSoelvsten
  2

• Add `bdd_topvar(...)` and `zdd_topvar(...)`

  #563 opened 8 months ago by SSoelvsten
  0

• Extend `dd_reorder` to Multiple Decision Diagrams

  #561 opened 8 months ago by SSoelvsten
  0

• Remove `<adiar/file.h>` and `<adiar/map_pair.h>`

  #538 opened 9 months ago by SSoelvsten
  0

• Fix naming scheme of BDD and ZDD predicates

  #539 opened 9 months ago by SSoelvsten
  0

• Type Aliases for Generators and Predicates

  #540 opened 9 months ago by SSoelvsten
  0

• Replace global enums with Execution Policies

  #546 opened 9 months ago by SSoelvsten
  3

• Make boolean operator predicates part of `adiar::internal`.

  #544 opened 9 months ago by SSoelvsten
  0