Possible optimization (if not a bug): should the sub programs in the explainer also follow the constraint?
yangdinglou opened this issue · 1 comments
yangdinglou commented
Hi Andrew,
Not sure if I understand correctly, but currently the subprogs generated by the explainer contain the ones which don't satisfy things like non_datalog. Is it true that they should be pruned?
andrewcropper commented
Yes, that is true, it prunes programs that do not necessarily obey the constraints.
Kind regards,
Andrew
… On 10 Feb 2023, at 02:07, yangdinglou ***@***.***> wrote:
Hi Andrew,
Not sure if I understand correctly, but currently the subprogs generated by the explainer contain the ones which don't satisfy things like non_datalog. Is it true that they should be pruned?
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>