Skip to content

Instantly share code, notes, and snippets.

@r-ryantm

r-ryantm/gist:2d51275083fc70cbe18b86ba1fdafa51

Created March 17, 2021 15:22
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save r-ryantm/2d51275083fc70cbe18b86ba1fdafa51 to your computer and use it in GitHub Desktop.
Save r-ryantm/2d51275083fc70cbe18b86ba1fdafa51 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
9 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/include/minizinc/support
54 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/include/minizinc/solvers/nl
19 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/include/minizinc/solvers/gecode
12 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/include/minizinc/solvers/geas
150 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/include/minizinc/solvers/MIP
269 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/include/minizinc/solvers
6 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/include/minizinc/passes
4 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/include/minizinc/algorithms
9 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/include/minizinc/_thirdparty/b64
85 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/include/minizinc/_thirdparty
758 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/include/minizinc
761 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/include
11 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/lib/cmake/libminizinc
14 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/lib/cmake
8462 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/lib
7 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/share/minizinc/g12_lazyfd
8 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/share/minizinc/g12_fd
26 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/share/minizinc/linear_old/linear
34 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/share/minizinc/linear_old
141 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/share/minizinc/linear
114 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/share/minizinc/gecode_presolver
246 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/share/minizinc/std/stdlib
823 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/share/minizinc/std
14 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/share/minizinc/geas
1144 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/share/minizinc
1148 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/share
6380 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4/bin
16753 /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment