The Solvers section on the https://www.minizinc.org/downloads/ page is inaccurate

[yurivict]

It lists solvers as included that aren't required by cmake.

A number of solvers are included out of the box:

    [Gecode](https://www.gecode.org/)
    [Chuffed](https://github.com/chuffed/chuffed)
    [Google OR-Tools CP-SAT](https://developers.google.com/optimization)
    [HiGHS](https://highs.dev/)
    [COIN-OR CBC](https://github.com/coin-or/Cbc)

• Google OR-Tools isn't looked for by the cmake scripts.
• Chuffed is looked for but without the REQUIRED keyword which makes it not really included.
• Atlantis is also present in the cmake script without REQUIRED but isn't listed anywhere in any lists.

I suggest that only 2-3 solvers are left in the "included-out-of-the-box" list (for example Gecode, COIN-OR CBC). Such solvers should have corresponding find_package(xx REQUIRED).

More rare solvers should be made optional, not listed anywhere in cmake, and only listed in the MiniZinc can also interface with the following solvers if installed: list.

It's also not clear what is the difference between "Additionally, many other compatible solvers can be installed, including:" and "MiniZinc can also interface with the following solvers if installed:" lists.

[guidotack]

The text on this page refers to the binary packages, which include the solvers listed there (and it includes pre-built interfaces to the second list of solvers). We will update it to clarify that the source code repository doesn’t include those solver out of the box.