<p dir="ltr">Hi,</p>
<p dir="ltr">How can I get the unsatisfied assumptions of a theory in article format?</p>
<p dir="ltr">I know about the info --assumptions option, but it prints _all_ assumptions, including the satisfied ones.</p>
<p dir="ltr">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.</p>
<p dir="ltr">I know the opentheory tool knows how to calculate just the unsatisfied assumptions. How can I get them out of it?</p>
<p dir="ltr">Cheers,<br>
Ramana</p>