TY  - RPRT
TI  - diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming
AU  - Matthias Nickles
PY  - 2021
UR  - https://arxiv.org/abs/2101.00589
ID  - 2101.00589
ER  -