7 ms·In my comment, it was for Sentential Decision Diagrams.by fcholf 5mo agoIn my comment, it was for Sentential Decision Diagrams.