Alloy API Examples

Example using the compiler (download, view)

Example using the ast (download, view)

Example using the evaluator (download, view)