Radovan Synek

Results 13 issues of Radovan Synek

The `SolverManager` requires a user to provide a `problemId` to start solving. Quickstarts meanwhile move to a `jobId` - a unique identifier generated by the solver process. This inconsistency should...

enhancement

Assume two constraints sharing the same `UniConstraintStream`: ``` @Override public Constraint[] defineConstraints(ConstraintFactory factory) { UniConstraintStream nonVirtualVehicles = factory.forEach(VehicleShift.class) .filter(vehicleShift -> !vehicleShift.isVirtual()); return new Constraint[] { // hard endLocationMaxArrivalTimeHardLimit(nonVirtualVehicles), lastVisitMaxDepartureTimeHardLimit(nonVirtualVehicles) };...

enhancement

`SolverManager.terminateEarly()` does not offer any kind of blocking until the underlying solver really terminates. Add a new method `SolverManager.terminateEarlyAndWait(... [, timeout])`.

enhancement