Read Me

Warning: This program is distributed as a prototype for use in research only and WITHOUT ANY WARRANTY, even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. xEngine should NOT be used to verify policies for applications. xEngine includes Sun PDP codes to help users to compare xEngine and Sun PDP. But the Copyright of Sun PDP codes is belongs to Sun Microsystems. xEngine (excluding Sun PDP codes) follows GPLv3 license.

For introduction and user manual, please check introduction.txt.

Please email bugs and feature requests to feichen@cse.msu.edu.