From a866d1e3bcaef3eaadea34e1b82d08a7ae49febd Mon Sep 17 00:00:00 2001 From: dzmitry-lahoda Date: Sat, 20 Apr 2024 16:39:52 +0100 Subject: [PATCH] Update run-mantis-blackbox-and-solver.md --- docs/run-mantis-blackbox-and-solver.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/run-mantis-blackbox-and-solver.md b/docs/run-mantis-blackbox-and-solver.md index a60fe02..622aff1 100644 --- a/docs/run-mantis-blackbox-and-solver.md +++ b/docs/run-mantis-blackbox-and-solver.md @@ -19,3 +19,5 @@ You must configure it via command line or enviroment variables with your own pri After you run these two, you effectively is **Solver**. All scripts were tested on Linux and it is recommended system for being solver. + +Deeper technicalk dive into solver infrastucture is available [here](https://www.youtube.com/watch?v=nimg8qdSy70).