trit-bdd 0.5.0

三值等价的 BDD(canonical)判定
Documentation
trit-bdd-0.5.0 has been yanked.