add clingo as a selectable solver