How can I implement binary decision diagrams (BDD)? I want to implement BDD minimization based on cultural algorithms and detecting BDD chain errors.
PATDBB may be what you are looking for