# TLC Model Checker Config ## Synopsis - [Document via Apalache](https://apalache-mc.org/docs/apalache/tlc-config.html) - [Document via VS Code Extension](https://github.com/tlaplus/vscode-tlaplus/blob/master/resources/knowledgebase/tlc-config-files.md)