On 03/19/12 16:08, Rich Shepard wrote:
> 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.
Maybe something to do with "gecode"? The output shown here looks similar:
http://comments.gmane.org/gmane.comp.lib.gecode.user/2961
Did you install gecode recently?
dan
_______________________________________________
PLUG mailing list
[email protected]
http://lists.pdxlinux.org/mailman/listinfo/plug
