Package ai.libs.hasco.core.reduction.softcomp2planning