GitHub repository: Ecdar/UCDD
Primary language: C++
Description: Uppaal CDD library