Model for Finite DomainSolvers ?