treewidth-aware reduction from asp to sat
We include a setup bash script setup.sh that should automatically perform all steps required to run our code. (Except for providing the c2d binary)
- Python >= 3.6
All required modules are listed in requirements.txt and can be obtained by running
pip install -r requirements.txt
We use htd to obtain treedecompositions that are needed for our treedecomposition guided clark completion and for obtaining treewidth upperbounds on the programs.
It is included as a git submodule, together with dpdb and htd_validate. They are needed to parse the treedecompositions produced by htd.
The submodules can be obtained by running
git submodule update --init
htd further needs to be compiled. Detailed instructions can be found here but in all likelihood it is enough to run
cd lib/htd/
cmake .
make -j8
The basic usage is
python bin/main.py [<INPUT-FILES>]
Acknowledgements go to Rafael Kiesel for implementing parts of the translator for a different context.