v2.1.1

Various maintenance updates for continuous integration, project structure, and code quality. These refactorings of the internals hopefully makes it easier for others to build on top of this project.

Documentation

• Move example code into compilable and executable .cpp programs. This ensures the examples are up to date and without any typos.
• Updated/Fixed BibTeX entries for remaining papers, thesis, new publications, and student projects.
• Fix some zdd functions are also documented in the bdd section.

Bug Fixes

• Fix make_consumer<OutputIt>(iter) ambiguous overloads on MSVC.

Breaking Changes

• Removed the experimental (and by default disabled) partial quantification algorithm. This drastically simplifies the code for quantification and makes it reusable for variable reordering. Doing so does remove the setting in exec_policy and the corresponding values from the statistics_t struct.

Contributors

• Steffan Sølvsten ( @ssoelvsten )