Unofficial SMT-LIB 2025 benchmarks with decision guidance commands (incremental track)
收藏官方服务：
资源简介：
Benchmarks annotated with guiding constraints using the new proposed command `prefer`. Discussed at the official GitHub repository of SMT-LIB2: https://github.com/SMT-LIB/SMT-LIB-2 First presented at AVM'25 in Romania - see the attached slides.
提供机构：
Zenodo创建时间：
2025-09-30
