Hello, I am working with Aleph and I am using m-estimate evaluation function (set to auto_m). I need to know the m-estimate value of each rule of the final theory. In the final theory, these values do not appear. How can I get them? I was performing sat() and reduce to find, but it takes too much time to find the rules that are in the final theory.
Thanks in advance. Fabiana University of São Paulo, Brazil
_______________________________________________ pmwiki-users mailing list [email protected] http://www.pmichaud.com/mailman/listinfo/pmwiki-users
