search

tulip-control / dd

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
https://pypi.org/project/dd
Other
181 stars 39 forks source link

update URLs johnyf/dd to tulip-control/dd and johnyf/omega to tulip-control/omega #47

Closed slivingston closed 4 years ago

slivingston commented 5 years ago

at the time of opening this issue, I notice out-of-date URLs in the README. other documentation must be checked, too.

N.B., this is not critical because GitHub redirects automatically.