Examples


lpmln2asp

This section comprises of various domains that we have tested the lpmln2asp program on. We refer the readers to the manual for a description about these problems and moore details.




lpmln2mln

This section comprises of various domains that we have tested the lpmln2mln program on. We refer the readers to the manual for a description about these problems and moore details.




Example Directory

The link directory contains all the above examples as well as evidence files used for some of those examples. The structure of the directory follows from that of thesis linked on the main page.

Files