A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).