Published November 7, 2022
| Version v2
Dataset
Open
Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving
Authors/Creators
- 1. Johannes Kepler University Linz
- 2. Albert-Ludwigs-University Freiburg
Description
The artifact for the paper "ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving" submitted to the TACAS2023 artifact evaluation.
We thank the reviewers for their comments and added the missing dependencies to this revised version. No other parts have been changed.
Files
pq-tacas23-all-deps.zip
Files
(1.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:9ab0bd05f258adcca64a76dcc47c5538
|
1.1 GB | Preview Download |
Additional details
Related works
- Is compiled by
- Software: 10.5281/zenodo.7113223 (DOI)
References
- Fedyukovich, Grigory, & Mover, Sergio. (2022). TACAS 23 Artifact Evaluation VM - Ubuntu 22.04 LTS (1.0). Zenodo. https://doi.org/