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

• Description: This plugin provides a complementation construction “Fribourg Construction” for nondeterministic Büchi automata.
• Contributor: Daniel Weibel (Department of Computer Science, University of Fribourg, Switzerland)
• Link: ch.unifr.goal.complement.zip
• Installation:
  1. unzip ch.unifr.goal.complement.zip
  2. cd ch.unifr.goal.complement
  3. zip a -r ch.unifr.goal.complement.zip classes plugin.xml
  4. cp ch.unifr.goal.complement.zip WHERE_IS_GOAL/plugins

This plugin inserts

• a menu and a menu item to the top menubar of the graphical interface, and
• a command “hello” to the command-line interface.

Binary Sources

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

Binary Sources