Replication Package for "Detecting Unrealizable Bit Vector Program Synthesis Problems"

This is the replication package for the dissertation Kamp, M.: "Detecting Unrealizable Bit Vector Program Synthesis Problems", Friedrich-Alexander University Erlangen-Nürnberg, 2024.

This package is an extended version of Kamp, M., & Philippsen, M. (2020). Artifact for "Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible". Zenodo. https://doi.org/10.5281/zenodo.4275482. In comparison to the previous artifact, this package includes a refined and extended implementation of the unrealizability detectors, more benchmarks, and experiments with a wider range of approximations.