Text this: Solution methods for large systems of linear equations in BACCHUS.