# Core solving part of CHR libraries