Skip to content

Instantly share code, notes, and snippets.

@ryantm
Created March 2, 2019 08:25
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 ryantm/c323220389e39dd43d195bd61a59e1e7 to your computer and use it in GitHub Desktop.
Save ryantm/c323220389e39dd43d195bd61a59e1e7 to your computer and use it in GitHub Desktop.
17M /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/lib
14M /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/bin
20K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/support/thread
204K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/support
60K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/kernel/memory
76K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/kernel/data
44K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/kernel/propagator
168K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/kernel/branch
56K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/kernel/trace
700K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/kernel
88K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/search/seq
96K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/search/par
24K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/search/cpprofiler
316K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/search
4.0K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/exec
96K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/arithmetic
84K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/bool
8.0K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/precede
88K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/branch
44K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/count
32K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/view-val-graph
56K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/distinct
12K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/dom
36K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/element
136K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/gcc
148K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/linear
108K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/extensional
60K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/rel
60K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/sorted
44K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/var-imp
12K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/var
104K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/view
32K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/channel
36K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/sequence
20K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/bin-packing
52K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/task
68K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/unary
68K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/cumulative
16K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/cumulatives
24K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/circuit
32K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/no-overlap
68K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/nvalues
16K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/member
24K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/ldsb
20K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int/trace
2.3M /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/int
32K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/float/view
12K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/float/var-imp
8.0K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/float/var
12K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/float/linear
44K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/float/arithmetic
4.0K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/float/channel
8.0K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/float/transcendental
28K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/float/trigonometric
28K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/float/rel
8.0K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/float/bool
52K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/float/branch
12K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/float/trace
400K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/float
40K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/int
36K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/channel
48K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/element
36K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/var-imp
12K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/var
76K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/view
68K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/rel
80K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/rel-op
4.0K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/distinct
12K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/sequence
8.0K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/convex
8.0K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/precede
52K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/branch
12K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/ldsb
12K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set/trace
684K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/set
72K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/minimodel
32K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/driver
188K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/iter
164K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/gist
88K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/flatzinc
136K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/third-party/boost/config/compiler
8.0K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/third-party/boost/config/no_tr1
60K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/third-party/boost/config/platform
64K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/third-party/boost/config/stdlib
320K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/third-party/boost/config
24K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/third-party/boost/detail
24K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/third-party/boost/numeric/interval/compare
60K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/third-party/boost/numeric/interval/detail
188K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/third-party/boost/numeric/interval
192K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/third-party/boost/numeric
560K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/third-party/boost
560K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode/third-party
6.1M /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/gecode
884K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include/examples
7.0M /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/include
228K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/share/gecode/mznlib
228K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/share/gecode
228K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/share
4.0K /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1/nix-support
37M /nix/store/j8jx8k14almqsql314dccvp874gd59cd-gecode-6.1.1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment