New dedicated CUDD organization #5
Description
I'm reaching out to those who have forked @fsomenzi's CUDD library to share some updates and invite collaboration.
We've set up a new dedicated GitHub organization, @cuddorg, to help maintain and evolve the CUDD project. As part of this initiative, @ivmai has kindly transferred his widely used mirror of CUDD to the organization.
Initially, we're exploring several improvements, including:
- Add CMake build support
- Set up CI testing
- Modernize the repository layout
Looking ahead, I’d love to join forces and collaborate under the @cuddorg umbrella. With combined effort, we hope to make a well-structured 4.0 release of CUDD.
If you're interested or have suggestions, your input and involvement would be very welcome!