Setting up the development environment

For eclipse, you can follow directions here: https://github.com/tlaplus/tlaplus/tree/master/general/ide

For intellij, if you plan to contribute to tlc, it’s fine to just open the relevant package from there. To build and run tests, you can use the cli.