Refined trimming functionality
Refined trimming functionality
Merge branch 'master' of https://github.com/mihirjs/tulip-control

Conflicts:
	tulip/synth.py
	tulip/transys/labeled_graphs.py