This repository contains the scripts used for DIKULAN