GitHub repository: odvarkadaniel/ba-simulations
Primary language: C++
Description: CLI that computes different simulation relations over Buchi automata