OBDDimal is a research effort headed by @h3ssto at the University of Ulm. Its main goal is to realize feature-model analyses by means of binary decision diagrams (BDD).¹
Beyond this scope, the project aims at making feature-model analyses more accessible in general with hopes of facilitating exchange of models, artifacts, and tools.
ddueruem is a wrapper for BDD compilers, uniform sampler, and more that is currently under active development, with a release planned in late 2023.
variability.dev is a platform for researchers and practitioners to exchange models and analyses. It is currently under active development and will go live later this year.
OBDDimal, the eponymous project of this research effort, is a prototype BDD library that has been developed by students alongside their Bachelor's or Master's thesis. It will be published once it reaches a certain level of majority.
¹ hence the name