search

quicklisp / quicklisp-projects

Metadata for projects tracked by Quicklisp.
http://www.quicklisp.org/
417 stars 47 forks source link

Please add cl-robdd #2435

Open jimka2001 opened 3 months ago

jimka2001 commented 3 months ago

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.