Ioannis Filippidis

Instead of getters and setters, [properties](https://docs.python.org/3.7/library/functions.html#property) are recommended in Python. Dynamically creating methods is implicit, nested, and complex ([PEP 20](https://www.python.org/dev/peps/pep-0020/)). Explicit is better, so `e.minlen = 1` would probably be...

It appears that when the VSCode editor configuration option "Use Tab Stops" is unticked, then a uniform amount of indentation is inserted across a set of selected lines, when pressing...

Adjusting the recursion limit is not a fail-proof solution, because a hard limit _does_ exist. The general solution is to remove recursion. Nonetheless, another suggestion may allow to avoid this....

Indeed, and if the `Messaging` module is removed from the repository of PlusPy, then some mechanism could be added there for fetching the CommunityModules (e.g., for running the test [`test8.scr`](https://github.com/tlaplus/PlusPy/blob/418216227cc07ea7db5b5cce75254dd53fecb336/tests/regression/test8.scr#L1),...

The post-install script to install SSL certificates for Python 3.6 (mentioned [here](https://stackoverflow.com/a/42334357/1959808)) first installs the `certifi` package, and then links the certificates file of OpenSSL to that of the `certifi`...

## Building Python from source on macOS It appears that: - having an installation of OpenSSL on macOS when building Python, and - having or installing SSL certificates are needed...

Yes, if `pip` does not propagate `dd`-specific `--install-option`s to packages that `dd` depends on (which don't recognize them, raising errors), then it will be possible to instruct `dd` to fetch...

Does this refer to all of: - RHC (not RHTLP simulation, which seems to be the topic of #41), i.e., individual transitions using `get_input`(to be renamed) - finite state machine...

Thanks for the details. #60 and #61 will then address [this](https://github.com/tulip-control/tulip-control/issues/34#issuecomment-33853537).

A comment that [`tulip.abstract.find_controller.find_discrete_state`](https://github.com/tulip-control/tulip-control/blob/f3a0f44e44b52aba1a2448492a556b3f98f58744/tulip/abstract/find_controller.py#L453) could also be named the mapping from concrete (continuous) to abstract (discrete) states, i.e., a [refinement mapping](http://research.microsoft.com/pubs/64046/abadi-existence.pdf).