GitHub repository: veins/space_veins
Primary language: C++
Description: https://sat.car2x.org/