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