Rule Solver^™

Rule Solver™ User Manual                                                                                                                                     

Download       

JSR-331 CP API Standard  
Modeling and Solving Scheduling and Resource Allocation Problems

OpenRules^® BDMS includes a special component called Rule Solver™ that applies Constraint Programming (CP) techniques to model and solve scheduling, resource allocation, configuration, and other constraint satisfaction and optimization problems. Rule Solver™ brings the power of Constraints Programming to the business application world.

Rule Solver™ can be used as:

• Business-oriented Constraint Solver

Rule Solver™ may be used as a constraint solver that utilizes  Excel-based decision models to represent and solve constraint satisfaction problems. While the most constraint solver are oriented to a software developers,  Rule Solver™ allows business users to use the power of CP.

Rule Solver™ is based on the CP standard JSR-331 and allows a user to switch between different open source JSR-331compliant constraint solvers without any changes in the decision models.

• Inferential Rule Engine

Rule Solver™ may be used as an alternative to the standard OpenRules^® sequential rule engine. It allows a user to executes the same decision models in a way similar to famous RETE-based rule engines (no needs for rule ordering). Rule Solver™  automatically resolves rule ordering problems for rules inside decision tables and between different decision tables. Additionally, Rule Solver™ can find solutions in situations when business rules only partially define a problem.

Rule Solver™ also provides a powerful mechanism for consistency validation of OpenRules^® decision models. It automatically validates the Excel-based decision models, points to possible inconsistencies in business rules, and applies the default search strategy to find feasible or optimal solutions.

Documentation

Read more in the Rule Solver™ User Manual  and in the paper.

Download