Specify and synthesize systems using symbolic algorithms
tulip-control
Logic Minimization in Python
dreylago
