> For the complete documentation index, see [llms.txt](https://docs.runtimeverification.com/simbolik/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.runtimeverification.com/simbolik/overview.md).

# Overview

- [Simbolik](https://docs.runtimeverification.com/simbolik/overview/readme.md): A Symbolic Debugger for Solidity
- [Getting started](https://docs.runtimeverification.com/simbolik/overview/getting-started.md)
- [Starting the Debugger](https://docs.runtimeverification.com/simbolik/overview/starting-the-debugger.md)
- [Compilation](https://docs.runtimeverification.com/simbolik/overview/compilation.md)
- [Troubleshooting](https://docs.runtimeverification.com/simbolik/overview/troubleshooting.md)