luigicapogrosso / HermesBDD

Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.

https://luigicapogrosso.github.io/HermesBDD/

luigicapogrosso/HermesBDD Issues

Potential lack of parallelism with std::async and .get()
Updated 4 months ago2
Potential bug in granularity check
Updated 4 months ago1
Use `hermes` namespace
Updated a year ago1
the RESTRICT(evaluate_at) operation
Updated 2 years ago
Handle overflow in count_sat_helper()
Updated 3 years ago
The count_sat_helper() can be optimized
Updated 3 years ago
Caching mechanism makes ITE procedure fail
Closed 3 years ago
The test_implies() generates an infinite loop
Closed 3 years ago