GitHub repository: remo5000/LCR
Primary language: C++
Description: Master's thesis project involving label-constrained reachability (LCR)