Published 2024
| Version v1
Dataset
Open
CEGAR-based approach for solving combinatorial optimization modulo quantified linear arithmetics problems -- Code and Appendix
- 1. Centre National de la Recherche Scientifique
Description
Technical appendix, and code and data used for generating the benchmarks of the paper published at AAAI 2024.
Technical info
Instructions for running the benchmarks are provided in the `code_and_data.zip` file. Alternatively, the Docker image "image.tar.gz" with all dependencies pre-installed can be used as follows:
gunzip -c image.tar.gz | docker import - merrinasp
The image merrinasp can be used to run the instances, as explained in the data/README.md file. For instance, with the data folder:
docker run --rm -v $PWD:/w -it merrinasp make runs/merrin/covert_2001/n100/0_0/optA/opt-auto/run1/out-times.csv