Skip to content

Commit

Permalink
Update run-mantis-blackbox-and-solver.md
Browse files Browse the repository at this point in the history
  • Loading branch information
dzmitry-lahoda authored Apr 20, 2024
1 parent 0813221 commit a866d1e
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions docs/run-mantis-blackbox-and-solver.md
Original file line number Diff line number Diff line change
Expand Up @@ -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).

0 comments on commit a866d1e

Please sign in to comment.