Repository files navigation

Workcraft is a cross-platform toolset to capture, simulate, synthesizeand verify graph models. It supports a wide range of popular graphformalisms and provides a plugin-based framework to model and analyzenew model types. For more information about Workcraft look athttps://workcraft.org/.

Get Workcraft source code and a submodule for documentation andplatform-specific backend tools(workcraft-dist-template repo):

git clone https://github.com/workcraft/workcraft.gitcd workcraftgit submodule update --init --remote

Workcraft requires Java JDK 11 or newer for a successful build and isassembled viaGradle.It is tested with bothOpen JDK andOracle JDK.

These instructions usegradlew, a wrapper that downloads and runsa relatively new version ofgradle. Alternatively a pre-installedversion can be used.

Use theassemble task to build the core and all the plugins:

./gradlew assemble

You can run Workcraft directly after building it:

./gradlew run

Note that Workcraft relies on backend tools for some of its functionalityand expects them intools directory by default. Therefore create asymbolic link pointing to the location of the backend tools for yourplatform. E.g. for Linux:

ln -s dist/template/linux/tools

If you would like to contribute to Workcraft development, then readthrough theCONTRIBUTING.md document.