Table of Contents

General Installation Instructions

A plugin can appear as a folder or a zipped file. To install a plugin, simply copy the plugin to the plugins folder of GOAL. For Mac users, the plugins folder is located in GOAL.app/Contents/Resources/Java/plugins

Users' Contributions

Fribourg Construction

Examples

Hello World

This plugin inserts

Binary Sources

Hello Complement

This plugin implements a buggy complementation algorithm and makes it accessible in the graphical interface and in the command-line interface.

Binary Sources