2 ms·

I think this is a probabilistic modeler with global constraint support, but I am not sure :s mining is an overloaded term

• brudgers 11y ago
  MiningZinc...supports both generic CP, SAT and MIP solvers. Like MiniZinc it is a modelling language for discreet optimization.
  • picardo 11y ago
    How is it different from MiniZinc? It looks less mature to me. No online documentation even, as far as I can tell.