version: "3"

services:
  isolatedserver:
    image: isolatedserver:1
    restart: always
    ports:
      - "5555:5555"
  scillaserver:
    image: scillaserver:1
    ports:
      - "4444:8080"