4 ms·
How is it different from MiniZinc? It looks less mature to me. No online documentation even, as far as I can tell.
by 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.