Usage example added.

tools/manticore-analysis/analysis.md

@@ -21,6 +21,12 @@ Manticore can analyze the following types of programs:
 - Build attempt with docker image version 3.6 results in [tool custom exception](sample_execution/execution_errors.md#docker-v36)
 - Manticore may be built on docker image version 3.5. Execution example may be found [here](sample_execution/sample_execution.md),
   and output files generated by the Manticore may be found under: `./Manticore/sample_execution_outputs`
+- Usage example:
+  - install [docker compose](https://docs.docker.com/reference/cli/docker/compose/),
+  - ```shell
+    docker-compose up -d
+    manticore examples/evm/umd_example.sol
+  ```
 > **Support**:
 > This project is no longer internally developed and maintained. The team responsible for creating this tool announced its
 > readiness to review and accept small, well-written pull requests by the community (only bug fixes and minor