DMCA

A purely functional implementation of ROBDDs in Haskell

by Jan Christiansen , Frank Huch , Christian Albrechts