GitHub repository: BerlinUnited/SimSpark-SPL
Primary language: C++
Description: Adapt the SimSpark simulator for SPL rules