On 24/06/11 19:44, Tom N wrote: > Any ideas how to find these? I've attempted to run it with tracing > enabled, but there's a massive amount of spewage and i'm not really > sure what to look for.
I was thinking you could just iteratively remove theorems from the list you are passing to METIS until you get a minimal set. Best, Michael
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ All of the data generated in your IT infrastructure is seriously valuable. Why? It contains a definitive record of application performance, security threats, fraudulent activity, and more. Splunk takes this data and makes sense of it. IT sense. And common sense. http://p.sf.net/sfu/splunk-d2d-c2
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
