Hacker News Reader

MiningZinc...supports both generic CP, SAT and MIP solvers.

Like MiniZinc it is a modelling language for discreet optimization.

How is it different from MiniZinc? It looks less mature to me. No online documentation even, as far as I can tell.