Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT

Artifact accompanying the publication Saaltink, C., Nicoletti, S.M., Volk, M., Hahn, E.M., and Stoelinga,M., Solving Queries for Boolean Fault Tree Logic via Quantified SAT. The artifact contains an implementation, example files and the script run_experiments.sh to reproduce results in Sections 5 and 6 of the paper.