GitHub repository: DEIS-Tools/PARDIBAAL
Primary language: C++
Description: Difference Bounded Matrix Library