Please add cl-robdd

[jimka2001]

Description: CL implementation of reduced-ordered-binary-decision-diagrams (ROBDD)
Author: Jim Newton
License: MIT
Source: https://github.com/jimka2001/cl-robdd.git

It is not clear what additional information is needed, but I'll be happy to provide it.