GitHub repository: DeLaChance/LCR
Primary language: C++
Created: 2016-04-15T13:36:00Z
Description: Master's thesis project involving label-constrained reachability (LCR)