nixpkgs
lol
Star
Fork
Watch
nixpkgs pkgs development tools minizinc simple-test
5 files
aust.mzn
default.nix
loan.mzn
loan1.dzn
nqueens.mzn