1. If you do not already have PLT Scheme v299.200 (or higher) installed on your system, install it. DrScheme is recommended, but MzScheme should suffice. Both can be downloaded from The PLT homepage.
2. If you do not already have CUDD installed on your system, install it. CUDD along with documentation can be found at Fabio Somenzi's homepage. We are using version 2.4.0.
3. Download Margrave. If using the .tar.gz download, gunzip it and then untar it. If using the .zip download, unzip it.
4. Edit the file "Margrave/add/cudd-import/Makefile" to show Margrave where CUDD is installed (more instructions in the Makefile).
5. Compile the part of Margrave that is written in C by going to the directory "Margrave/add/cudd-import/" and using the command "make".

Margrave has been updated for the new version of PLT Scheme: v299.200. Note that it will not work with versions of PLT Scheme below v299, but does with later versions.

Now Margrave offers limited support for the <Condition> element which may be found in the <Rule> element and some of the elements found within this element. Read more here.

Since the syntax of XACML 2.0 is different from that XACML 1.0, Margrave 2-1 has a new parser which is not backwards compatible with XACML 1.0. The main differences in the syntax are:

• The <AnySubject>, <AnyResource>, and <AnyAction> element no longer exist. Now one simply omits the <Subjects>, <Resources>, or <Actions> element if any should match the target.
• The <Target> element may now hold an <Environments> the behaves like the <Subjects>, <Resources>, or <Actions> elements but for the environment element of a XACML request.

Version 1-1 was made for PLT Scheme v209; it does not run in later PLT Scheme releases.

To see the old website for Margrave version 1-1, click here.