All MiniZinc solvers available as FreeBSD ports.

This is the metaport.