A Formal Method playground for limboole, z3, nuXmv and Alloy. This project is a part of the Formal Methods course at the Bauhaus-Universität Weimar. It is a web application that allows users to run formal methods tools in the browser.
- Python >= 3.9.0
- Node >= 18.0.0
- PostgreSQL >= 15.0
- Docker >= 20.10.0 (optional)
- Docker Compose >= 1.27.0 (optional)
- Copy the
.env.examplefile to.envand update the environment variables as needed:
cp .env.example .env- Run the following command:
docker-compose up -dversion: '3'
services:
frontend:
image: ghcr.io/se-buw/fm-playground-frontend:latest
container_name: fmp-frontend
env_file:
- .env
ports:
- "5173:5173"
networks:
- my_network
restart: unless-stopped
backend:
image: ghcr.io/se-buw/fm-playground-backend:latest
container_name: fmp-backend
env_file:
- .env
ports:
- "8000:8000"
depends_on:
postgres:
condition: service_healthy
networks:
- my_network
restart: unless-stopped
postgres:
image: postgres:15.4
container_name: fmp-db
environment:
POSTGRES_USER: ${DB_USERNAME}
POSTGRES_PASSWORD: ${DB_PASSWORD}
POSTGRES_DB: ${DB_NAME}
volumes:
- postgres_data:/var/lib/postgresql/data
healthcheck:
test: ["CMD-SHELL", "pg_isready -U postgres"]
interval: 5s
timeout: 5s
retries: 5
env_file:
- .env
networks:
- my_network
restart: unless-stopped
# Alloy API
api:
build:
context: ./alloy-app/api/
container_name: fmp-alloy-api
ports:
- "8080:8080"
networks:
- my_network
restart: unless-stopped
# Database for alloy
mongo:
image: mongo:4.4.6
container_name: fmp-mongo
command: mongod --storageEngine=wiredTiger
volumes:
- mongo_data:/data/db
ports:
- "27017:27017"
environment:
MONGO_INITDB_ROOT_USERNAME: root
MONGO_INITDB_ROOT_PASSWORD: example
networks:
- my_network
restart: unless-stopped
# Alloy application with meteor
meteor:
build:
context: ./alloy-app/meteor/
container_name: fmp-alloy-app
environment:
MONGO_URL: ${MONGO_URL}
METEOR_SETTINGS: ${METEOR_SETTINGS}
STARTUP_DELAY: ${STARTUP_DELAY}
depends_on:
- backend
- postgres
- mongo
links:
- mongo
- api
networks:
- my_network
restart: unless-stopped
volumes:
postgres_data:
mongo_data:
networks:
my_network:
driver: bridgeContributions are welcome! Please refer to the contributing guidelines for detailed instructions.
This project is licensed under the MIT License.