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 https://workcraft.org/.
git clone https://github.com/workcraft/workcraft.git cd workcraft git submodule update --init --remote
These instructions use
gradlew, a wrapper that downloads and runs
a relatively new version of
gradle. Alternatively a pre-installed
version can be used.
assemble task to build the core and all the plugins:
You can run Workcraft directly after building it:
Note that Workcraft relies on backend tools for some of its functionality
and expects them in
tools directory by default. Therefore create a
symbolic link pointing to the location of the backend tools for your
platform. E.g. for Linux:
ln -s dist/template/linux/tools
If you would like to contribute to Workcraft development, then read through the CONTRIBUTING.md document.