A simple validated solver for systems of linear equations with interval coefficients. It uses a naive splitting approach and is therefore very slow.
|:: (ERIntApprox ira, DomainIntBox box varid ira, DomainBoxMappable box box varid ira ira)|
|=> [(box, ira)]|
the equations; each equation has coefficients of linear terms + constant term
the domain of the variables
an upper bound on the size of an acceptable solution box
|-> Maybe box|
A box containing at least one solution within the domain; Nothing if there is no solution.