trit-bdd 0.8.1

三值等价的 BDD(canonical)判定
Documentation