Simple solver algorithms.