marlowe-symbolic This package contains a web-service for doing static analysis of Marlowe programs using symbolic execution.