a-earthperson / hermesbdd Goto Github PK
View Code? Open in Web Editor NEWThis project forked from luigicapogrosso/hermesbdd
Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.
Home Page: https://luigicapogrosso.github.io/HermesBDD/
License: Other