Add trySemiringSolver