ddreconf-experiments2023

This repository provides the experiments for the paper on solving reconfiguration problems using DDs.

The ZDD-based solver is available at the repository.

The program provided by @telematik-tuhh (referred to as "recon" in the paper) is located at the repository.

Usage

git clone --recursive https://github.com/junkawahara/ddreconf-experiments2023.git
cd ddreconf-experiments2023/ddreconf
make
cd ..
python3 run.py