The JBDD and JDD projects came to life during my PhD studies. I have invested a
considerable amount of time and many late night hours into both these project.
Since then, life has moved on and I am no longer working with Binary Decision Diagrams. I am also involved in other projects (some open source) which takes the little free time I have nowadays. This is very unfortunate since I don't want my BDD projects to be forgotten and die :(
On the other hand, both projects are very mature and not much new code is added anyway. I think a good compromise for me is to keep updating the code when bug reports come in, or add new functionality when many users want to see it.
To do this, I need more bug reports from you. Furthermore, I know a lot of people doing research work with JBDD or JDD. Unfortunately, the outcome of their studies are mostly lost to me. I would most appreciate it if I got more feedback on the algorithms you have developed. I have volunteered to add good algorithms and/or implementations to the project (assuming the quality is high and the code is of use to other people).
Both JBDD and JDD have already benefited from contributed, but I want to see more!
January 2009,
- A. V.