use IDL solver by default for IDL logics