Tunas - Fishing for diverse Answer Sets: a Multi-Shot Trade up Strategy (Tool & Experiments)
收藏数据链接：
官方服务：
资源简介：
Python script to compute diverse answer sets, including examples, logfiles and plots. Requires Python 3.x and clingo 5.4.0+ to run.
提供机构：
TU Dresden创建时间：
2022-06-27
