docker

docker install

build image

docker build -t rtamt .

run container & run example

docker run -it rtamt bash
/rtamt# cd examples/offline_monitors/
/rtamt# python3 offline_monitor_dense_time.py