This is a thin C++ wrapper interface for the SDD 2.0 library, to deal with sentential decision diagrams (SDD), a useful data structure to represent Boolean functions in a succinct way.
Compilation and installation requires a C++20 compiler, and should be simple enough:
$ git clone https://github.com/black-sat/sddpp.git
$ cd sdd++
$ mkdir build && cd build
$ cmake ..
$ make
$ make install
Usage of the library is straightforward using CMake, for example:
find_package(sdd++)
# ...
target_link_libraries(your_target PUBLIC sdd++::sdd++)
Then, include <sdd++/sdd++.hpp>. API documentation is currently unavailable
but the usage should be simple given the API of the SDD library (see their
manual).
The original SDD library is included. Its C API is available by including <sdd/sdd.h>.