Quick Setup

The easiest setup of the server is using the latest available Docker image.

Pull the image using:

1docker pull ghcr.io/workflowfm/composer-server:latest

Then run a container using:

1docker run -p 7000:7000 --name workflowfm-server --detach ghcr.io/workflowfm/composer-server:latest

• The name workflowfm-server is optional and can be changed to whatever you want your server container to be named.
• The port can also be bound to a different system port, e.g. using -p 9000:7000 to bind it to port 9000.

This is because it loads HOL Light and the WorkflowFM Reasoner from scratch. You can follow progress using:

1docker logs --follow workflowfm-server