This is a small scala library implementing Binary Decision Diagram. It is based on the OCaml implementation of BDD, written by Jean-Christophe Filliatre.
The main reference is Karl S. Brace, Richard L. Rudell and Randal E. Bryant. "Efficient Implementation of a BDD Package". In Proceedings of the 27th ACM/IEEE Design Automation Conference (DAC 1990), pages 40–45. IEEE Computer Society Press, 1990.