[opentheory-users] Print unsatisfied assumptions

Ramana Kumar ramana at member.fsf.org
Mon May 9 02:09:24 UTC 2016


How can I get the unsatisfied assumptions of a theory in article format?

I know about the info --assumptions option, but it prints _all_
assumptions, including the satisfied ones.

The only way I have found so far to do it is to create a fake package that
imports all the required packages and print the assumptions of that. But
it's rather cumbersome to do so. Especially because importing the required
packages also means figuring out all their dependencies and recreating them
as blocks within the theory file in the right order.

I know the opentheory tool knows how to calculate just the unsatisfied
assumptions. How can I get them out of it?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20160509/d7ad874a/attachment.html>

More information about the opentheory-users mailing list