Artifact for: "Aperture: an Anytime, Complete and Incremental MaxSAT Solver" (FMCAD 2026)

This artifact contains the source code of Aperture, for the FMCAD 2026 paper "Aperture: an Anytime, Complete and Incremental MaxSAT Solver" by Alexander Nadel, Yam Slonimski, and Ofer Strichman. In addition, this archive contains the execution logs used to compute the scores reported in the experimental results and the ablation study, along with CSV files containing per-family average scores. See the README file included in the tarball for further details.