temporal-synthesis
A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains