adiar

adiar copied to clipboard

The most successful approach for variable reordering in conventional BDD packages is the sifting algorithm. This algorithm depends on the ability to efficiently swap two neighbouring variables. ## Preliminary Issues...

SSoelvsten

Resource memory limit exceeded

4

When running the following benchmarks with the minimum of 128 MiB of memory, we get the following error message. ``` Resource memory limit exceeded by _MiB (_%), while trying to...

SSoelvsten

There is this [VS Code Plugin](https://github.com/dampsoft/vscode-banditcpp-test-adapter) that allows you to integrate our [Bandit-C++](https://github.com/banditcpp/bandit) tests straight into the VS Code IDE. - [ ] Set up the [VS Code Plugin](https://github.com/dampsoft/vscode-banditcpp-test-adapter) and...

SSoelvsten

There is some discrepancy between the default settings we have picked with the convenient *makefile* and the VSCode plugin for CMake. We should configure the latter to better align our...

SSoelvsten

By adding a `.peek` / `.top()` function to both types of sorters, we can simplify the *levelized priority queue* and also the *reduce* algorithm: currently they both store the peeked...

SSoelvsten

Add templated constructor for `arc` specifying is-high flag

1

Add a templated constructor for the `arc` class with a single templated argument `bool is_high`. **Tasks in `arc` class** - [ ] Specialization for `is_high = false` is equivalent to...

SSoelvsten

Move data_types/ `toString` method from test/ to src/

4

In *test/test.h* we have several *stringizer* functions that create pretty-printed version of the basic data types. These ought to be moved over into the respective classes in *src/* such that...

SSoelvsten

Add `bdd_replace` for monotonic renamings

1

As an initial step from the nested sweeping in *v2.0* for the multi-variable quantification and the relational product in *v2.1*, we should address the basics of relabelling (assuming the relabelling...

SSoelvsten

As part of #467 , it turns out that the MSVC compiler does not at all like references to C-like arrays. Furthermore, one could argue it is prettier to stick...

SSoelvsten

Levelized Files

1

**Motivation** 1. A lot of our files are of the temporary *read-once-and-produce-output* type (specifically `arc_file` and `node_file` with move-semantics). Hence, to be able to squeeze more BDDs / ZDDs into...

SSoelvsten