All MiniZinc solvers available as FreeBSD ports.

This is the metaport.

WWW: https://www.minizinc.org/