GitHub repository: roveri-marco/aaltaf-uc
Primary language: C++
Description: Unsatisfiable core for LTLF