Most Recent Commits

1. Added JaCoP-3.0.final.jar in lib.
2. Added new GRL propagation algorithm.
3. Made necessary changes for the algorithm to show up in eclipse menus.
4. Modefied IGRLStrategyAlgorithm to reflect better OOD.

Explanation of change:
This is the first check in for the new Formula Based GRL strategy algorithm. This change adds a new entry in the preferences dialog for GRL strategies and also the new algorithm class. In addition, I am adding a math library that is used in this new algorithm.

Note: This is work in progress. We may change the algorithm as well as the library we are using to calculate the result of the formula.

Testing:
- I manually tested by changing the GRL strategy to the new algorithm and trying it. In addition I also changed the setting back to the quantitative algorithm to make sure it works fine.
- All the unit tests passed.
- I did not add any new unit test