~~NOTOC~~
<WRAP group>
<WRAP info box round column half>
==== What is Workcraft? =====
  * framework for [[:overview:start|interpreted graph models]]
  * [[:overview:screenshots|elaborate cross-platform GUI]] for modelling
  * [[:overview:backend_tools|established tools]] for verification and synthesis

-----
[[https://github.com/workcraft/workcraft|source code]]\  •\ [[:overview:news|latest news]]\  •\ [[:training:start|training events]]
</WRAP>
<WRAP download round column half>
<WRAP group>
<WRAP column>
==== Download Workcraft v3.5.1 ====
</WRAP>
<wrap>
(needs [[https://adoptium.net/|Java ≥17]])
</wrap>
</WRAP>
  * {{:download:workcraft-v3.5.1-windows.zip|for Windows}}
  * {{:download:workcraft-v3.5.1-linux.tar.gz|for Linux}}
  * {{:download:workcraft-v3.5.1-osx.tar.gz|for OS X (32-bit backend tools)}}

-----
[[https://github.com/workcraft/workcraft/releases/|download mirror]]\  •\ [[:changelog:start|release notes]]\  •\ [[:download:start|distribution]]
</WRAP>
</WRAP>

{{page>:overview:screenshots&inline}}

----

===== Tutorials =====
<WRAP tip round centeralign>
<WRAP column half leftalign>
==== Modelling causality and concurrency ====
{{page>:tutorial:toc-modelling&inline}}
</WRAP>
<WRAP column half leftalign>
==== Designing asynchronous circuits ====
{{page>:tutorial:toc-designing&inline}}
</WRAP>
-----
[[:tutorial:start|All training materials...]]
</WRAP>

===== Help =====
<WRAP help round centeralign>
<WRAP column third leftalign>
==== Generic information ====
  * [[:help:core:start|Main window]]
  * [[:help:core:new_work|New work dialog]]
  * [[:help:core:model_tools|Model tools]]
  * [[:help:core:tool_controls|Tool controls]]
  * [[:help:core:property_editor|Property editor]]
  * [[:help:core:tips|Tips and tricks]]
</WRAP>
<WRAP column third leftalign>
==== Model plugins ====
  * [[:help:petri:start|Petri Net]]
  * [[:help:stg:start|Signal Transition Graph]]
  * [[:help:circuit:start|Digital Circuit]]
  * [[:help:dfs:start|Dataflow Structure]]
  * [[:help:cpog:start|Conditional Partial Order Graph]]
  * [[:help:son:start|Structured Occurrence Net]]
</WRAP>
<WRAP column third leftalign>
==== Advanced topics ====
  * [[:help:reach|Reach language]]
  * [[:help:verification|Verification properties]]
  * [[:help:synthesis|Circuit synthesis]]
  * [[:help:backend:start|Backend tools options]]
  * [[:help:cli|Command line interface]]
  * [[:help:scripting|Scripting interface]]
  * [[:help:a2a:start|A2A elements]]
  * [[:help:mutex:protocol|Arbitration protocols]]
</WRAP>
-----
[[:help:start|All help topics...]]
</WRAP>

===== Development =====
<WRAP todo round centeralign>
<WRAP column third leftalign>
==== Building ====
  * [[:devel:build|Building Workcraft]]
  * [[devel:dependency:start|Building dependencies]]
</WRAP>
<WRAP column third leftalign>
==== Understanding ====
  * [[:devel:plugin:start|Plugin development]]
  * [[:devel:design:start|Design decisions]]
</WRAP>
<WRAP column third leftalign>
==== Documenting ====
  * [[:devel:documentation|Preparing documentation]]
  * [[:devel:dokuwiki|Configuring DokuWiki]]
</WRAP>
</WRAP>

===== Acknowledgements =====
<WRAP round centeralign>
[[:acknowledgement:start|{{:acknowledgement:logo-newcastle-a80.png?nolink|Newcastle University}}]]
[[:acknowledgement:start|{{:acknowledgement:logo-epsrc-a80.png?nolink|Engineering and Physical Sciences Research Council}}]]
[[:acknowledgement:start|{{:acknowledgement:logo-maxeler-a80.png?nolink|Maxeler Technologies}}]]
[[:acknowledgement:start|{{:acknowledgement:logo-dialog-a80.png?nolink|Dialog Semiconductor}}]]
</WRAP>