GitHub repository: sankalpgambhir/quantlearn
Primary language: C++
Description: Learning LTL formulae from finite system traces.