A C++ library for Ordered Decision Diagrams.
CMake build system is required to build the project. After cloning the submodules, build the project with the following commands.
$ cd build/
$ cmake ..
$ make
You can also run tests with the following command.
$ make test
The header files are provided with Doxygen documentation. To build it, install Doxygen and type
$ doxygen Doxyfile
The home page of documentation will be available at doc/html/index.html.
See the Contributors.md file.