Meta-S: A strategy-oriented Meta-Solver Framework


Meta-S is a practical implementation and extension of the theoretical framework developed by Hofstedt (2001), which allows the user to attack problems requiring the cooperation of more than one domain-specific constraint solver. Through its modular structure and its extensible strategy specification language it also serves as a test-bed for generic and problem-specific (meta-)solving strategies, which are employed to minimize the cooperation overhead incurred. This paper introduces Meta-S, focusing on the strategy-related parts of the framework.