set representations using BDDs

PACKAGE STATE: alpha