Introduced JavaRandomHelper.
Fixed a problem with the branch-and-bound algorithm that could lead to runtime errors. (Math library improvement, the reverser was not really affected by this bug.)
Introduced JavaRandomHelper.
Fixed a problem with the branch-and-bound algorithm that could lead to runtime errors. (Math library improvement, the reverser was not really affected by this bug.)