HermesBDD

HermesBDD is a novel multi-core and multi-platform binary decision diagrams package focused on high performance and usability. HermesBDD supports a static and dynamic memory management mechanism, the possibility of exploiting lock-free hash tables, and a simple parallel implementation of the ITE procedure based on a higher-level wrapper for threads and futures.

For more information on progress reports, please visit the HermesBDD home page.

Dependencies

HermesBDD has the following dependencies:

• CMake (mandatory), for compiling;
• Sphinx (optional), for documentation generation.

For further information about CMake and Sphinx, check the following 1 and 2 documentation pages, respectively.

Building

The library is tested for compilation using GCC (minimum required: 10.2), Clang (minimum required: 11.0), and MSVC (minimum required: 19.20). To build the library from sources in a clean way, it is preferable that you set up a build subdirectory, say: