Skip to content

Instantly share code, notes, and snippets.

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