Canonical Decision Diagrams Modulo Theories - Benchmarking
收藏官方服务：
资源简介：
This archive contains all data and results that were used to benchmark the approach Canonical Decision Diagrams Modulo Theories. The archive contains the following files: 3 subfolders, one for each dataset that was used in the benchmarking process, each one containing a "data" subfolder which contains the problems (in SMT/SMT2 format) and some output folders which contain JSON files describing in detail the results of each run on the problems.
提供机构：
Zenodo创建时间：
2024-07-30
