| Version 8 (modified by , 12 years ago) (diff) |
|---|
Table of Contents
Overview
- System design
- libabac API
- creddy
- Rules about role and oset names
- Usage scenario
- Keystore format
- ChangeLog
All Java information can be found on the JavaSupport page.
Installation
Examples
These and many other test examples are available in the source tree under /examples/creddy_prover_tests and /examples/python_tests
- Simple Acme example
- More complex experiment creation
- Acme rockets with intersection node
- RT2 example
Example API Code
These are available in the source tree under /swig/perl, /swig/c, and /swig/python (with READMEs).
