CAV'26 Artifact for Satisfiability Modulo Extensional Constant Arrays

This artifact contains the source code, log files, data and scripts to replicate the experiments in the paper "Satisfiability Modulo Extensional Constant Arrays" at CAV'26. Please refer to the Readme.md for further instructions.本研究工件包含了发表于CAV'26的论文《模可扩展常数组可满足性（Satisfiability Modulo Extensional Constant Arrays）》中实验复现所需的源代码、日志文件、数据与脚本。如需获取详细操作指引，请参阅Readme.md。