Meta-S: A Strategy-Oriented Meta-Solver Framework.

Abstract

Meta-S is a practical implementation and extension of the theoretical framework developed by Hofstedt, which allows the user to attack problems requiring the cooperation of arbi-trary domain-specic constraint solvers. Through its modu-lar structure and its extensible strategy specication language it also serves as a test-bed for generic and problem-specic (meta-)solving strategies, which are employed to minimize the cooperation overhead incurred. This paper introduces Meta-S, focusing on its strategy-related aspects.