mahi045

@Kurt-Liuhf Thanks for your response. This change builds thundergbm library statically. (i.e. previously it was `libthundergbm.so`, currently it is `libthundergbm.a`). I need to build `thundergbm-train` and `thundergbm-predict` executables statically so...

@rkaminsk Thanks for your response. I have another question: does the domain heuristic also work with theory propagator? In my case, for given program $P$, the theory propagator adds [clauses](https://potassco.org/clingo/c-api/5.0/group__Propagator.html#gabcf8c92d378711b57014e238069a2e48)...

@rkaminsk @javier-romero I appreciate the detailed response. I would like to clarify one point: Do the subset minimal answer sets of $P \cup X$ belong to the subset minimal answer...

@rkaminsk @javier-romero Thank you for the detailed explanation. I understand that introducing the clause will result in new subset minimal answer sets. However, in my situation, I aim to preserve...

Thank you for the information you provided.