Workcraft is a cross-platform toolset to capture, simulate, synthesize and verify graph models. It supports a wide range of popular graph formalisms and provides a plugin-based framework to model and analyze new model types. For more information about Workcraft look at http://workcraft.org/.
Workcraft requires Java JDK 1.7 or newer for a successful build and is assembled via Gradle. It is tested with both Open JDK and [Oracle JDK] (http://www.oracle.com/technetwork/java/javase/downloads/index.html).
These instructions use gradlew, a wrapper that downloads and runs a
relatively new version of gradle. Alternatively a pre-installed
version can be used.
Use the assemble task to build the core and all the plugins:
./gradlew assemble
You can run Workcraft directly after building it:
./workcraft
Help and tutorial pages are available in the workcraft-doc repo.
Templates for building Windows, Linux and OS X distributions of Workcraft are available in the [workcraft-dist-template] (https://github.com/tuura/workcraft-dist-template) repo. This includes the binaries of backend tools, gate libraries and other platform-specific content.
If you would like to contribute to Workcraft development, then read through the CONTRIBUTING.md document.