The Boolean Constraint Solver of SWI-Prolog (System Description)
Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems