Package Details: workcraft 3.5.5-1

Git Clone URL: https://aur.archlinux.org/workcraft.git (read-only, click to copy)
Package Base: workcraft
Description: Toolset to capture, simulate, synthesize and verify graph models
Upstream URL: https://workcraft.org/
Keywords: async cad circuit eda formal-specification formal-verification fsm logic-synthesis petri-nets simulation stg
Licenses: MIT
Submitter: ARandomOWL
Maintainer: Richardn
Last Packager: Richardn
Votes: 1
Popularity: 0.85
First Submitted: 2016-10-14 17:16 (UTC)
Last Updated: 2026-07-13 23:30 (UTC)

Dependencies (4)

Required by (0)

Sources (1)

Pinned Comments

Richardn commented on 2026-07-13 23:35 (UTC)

Official site documents the need for java>=17, while the binary depends on the legacy Applet API, which is removed in Java 26 (JEP 504). So 17<=java<=25 is needed. I decide to let users manage Java versions and wait for upstream to update.

Latest Comments

Richardn commented on 2026-07-13 23:35 (UTC)

Official site documents the need for java>=17, while the binary depends on the legacy Applet API, which is removed in Java 26 (JEP 504). So 17<=java<=25 is needed. I decide to let users manage Java versions and wait for upstream to update.

ARandomOWL commented on 2016-10-14 18:47 (UTC) (edited on 2016-10-15 14:35 (UTC) by ARandomOWL)

There is currently a bug when using External Visualizer functions. For details: https://github.com/tuura/workcraft/issues/597 Edit: This is fixed in the next version.