Rule Solver is a component of the open source Business Decision Management System "OpenRules". It applies Constraint Programming techniques to model, validate, and solve scheduling, resource allocation, configuration, and other constraint satisfaction and optimization problems.