Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving
收藏数据链接：
官方服务：
资源简介：
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.
提供机构：
Zenodo创建时间：
2022-11-07
