https://github.com/tulip-control/omega

Specify and synthesize systems using symbolic algorithms

automata bitvector logic-minimization python rabin streett symbolic synthesis temporal-logic

Last synced: 15 Apr 2025