ssoelvsten/adiar

AI Summary: The task involves modifying the Adiar C++ codebase to hide overloads using the `exec_policy` parameter from the Doxygen-generated documentation. This will improve the readability of the documentation by removing unnecessary detail, while still documenting the purpose of `exec_policy` in the header files.

AI Summary: Modify the Adiar BDD library's `bdd_topvar()`, `bdd_minvar()`, and `bdd_maxvar()` functions to handle terminal nodes gracefully. Instead of throwing an exception when called on a terminal node, these functions should return `bdd::max_label+1`.

AI Summary: The task involves modifying the `replace_type` enum in the Adiar project to include an `Auto` option, simplifying API usage. This requires shifting existing enum values, adding `Auto`, refactoring function overloads in `internal/algorithms/replace.h`, and updating function calls to utilize the new `Auto` option and default values.

AI Summary: The task involves refactoring the Adiar project to replace all occurrences of `std::string` used for file paths with `std::filesystem::path`. This improves code clarity and leverages the features of `std::filesystem::path`. The issue lists specific locations within the codebase requiring this change.