omega (pypi): Symbolic algorithms for solving games of infinite duration.
Keywords: first-order|propositional|logic|quantifier|forall|exists|fixpoint|mu-calculus|formula|flatten|bitblaster|bitvector|arithmetic|binary decision diagram|symbolic|games|specification|system|assume|guarantee|satisfiability|enumeration|state machine|transition system|automaton|automata|streett|rabin|temporal logic|temporal tester|gr1|generalized reactivity|logic-minimization|python|synthesis|temporal-logic