On 20/07/2012, at 19:38, Bill Richter <[email protected]> wrote:
> I think this lack of power can be explained precisely with some kind of an > upper bound. > > Now I believe that MESON is much more powerful than that. I think we can all > be astounded by what MESON can prove for us. But I don't believe that miz3 > (without tactics) uses the full power of MESON. miz3's "by" is just an invocation of MESON but with, as I understand, a time limit imposed. As computers get faster, your "by" steps will become ever more capable and ever "closer" to the full power of MESON. Michael ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
