nixpkgs/pkgs/development/tools/minizinc
2024-03-09 16:02:31 +00:00
..
simple-test
default.nix minizinc: 2.8.2 -> 2.8.3 2024-02-01 07:27:48 +00:00
gecode.msc
ide.nix minizincide: 2.8.2 -> 2.8.3 2024-03-09 16:02:31 +00:00