Added initial solvers, ported from rbipl