nixpkgs/pkgs/development/tools/minizinc/ at master · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / tools / minizinc /

at master 1 folder 3 files

minizinc: update gecode to 6.3.0

4 months ago

minizinc: update gecode to 6.3.0

4 months ago

minizinc: enable gecode and cbc solvers by default

2 years ago

minizincide: 2.9.3 -> 2.9.4

3 months ago