While looking for an executable file I saw /usr/local/bin/grocery. It's a
binary and no string suggests to me what it does. Running it produces
equally cryptic output:

[rshepard@salmo ~]$ grocery
Grocery
        {120, 125, 150, 316}

Initial
        propagators: 7
        branchers:   1

Summary
        runtime:      0.087 (87.463000 ms)
        solutions:    1
        propagations: 2132
        nodes:        79
        failures:     37
        peak depth:   14
        peak memory:  18 KB

   Does anyone have knowledge of what this executable actually does, and can
explain the output? It apparently came here on Nov 8, 2010 and parked its
285K on the shelf.

Rich

_______________________________________________
PLUG mailing list
[email protected]
http://lists.pdxlinux.org/mailman/listinfo/plug

Reply via email to