SMTQuery Files for TACAS '23 AE VM
Authors/Creators
- 1. Loughborough University
- 2. Kiel University
- 3. University of Göttingen
- 4. Aalborg University
Description
This ZIP-file contains all data needed to run SMTQuery within the TACAS '23 Ubuntu VM. For further information we refer to https://smtquery.github.io.
The package contains:
1. The Python 3 source code of SMTQuery is located in `code`,
2. SMTLib files, cached abstract syntax trees, and database containing our recorded solver results in `SMTQueryData/data/smtfiles`, `SMTQueryData/smtquery/data/pickle`, and `SMTQueryData/db.sql`, respectively,
3. all required Linux and Python packages in `packages`,
4. a binary of cvc5 which does not seem to be available in the standard Ubuntu repositories at `solvers/cvc5`,
5. handy scripts to set up the specific environments at the root of our artefact.
6. logs of our tests within the TACAS-AEC VM ran on a '19 MacBook Pro, 1,4 GHz Quad-Core Intel Core i5, 16 GB RAM using VirtualBox Version 7.0.2.
7. The submitted paper
Unzip the artefact into your home directory `/home/tacas23` using `unzip artefact.zip`. This will create a folder `artefact` containing all relevant files.