Artifact of TACAS26 Paper entitled "SMT(LIA) Sampling with High Diversity"

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Yong Lai, Junjie Li, Chuan Wen Luo
DOI: 10.5281/zenodo.18193960
Cited by: 0

Abstract

The artifact includes the implementation and evaluation for a SMT(LIA) sampler called HighDiv. In detail, it includes the static binaries and execution instructions for the tools, the scripts to reproduce the experimental results and generate the figures reported in the paper, and the source code with installation scripts. Please refer to the README.md for more details.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
9 January 2026