jayhorn-ws Webservice for JayHorn No documentation yet. Requirements: Docker and JDK 8. Run make to build the docker and start the service. Then go to http://localhost:8888/web-jayhorn.