Actually added initial solvers, ported from rbipl