The artifact used to produce the results for Sibyl: Improving Software Engineering Tools with SMT Selection is publicly available on Software Heritage and is reusable. The artifact consists of several python and bash scripts, saved model checkpoints, and example problems. The data required to replicate the study is freely available on Zenodo and StarExec. It also includes a Dockerfile for ease of reproduction. Users should be experienced with Linux and Python in general.