use logging in abstract.discretization
Merge branch 'master' into logging
fix typo
Merge branch 'logging'
Merge branch 'master' of https://github.com/tulip-control/tulip-control