CP-SAT (Constraint Programming - SATisfiability)

• FamilieROBIN-Technologie
• KontextROBIN-Engine

Constraint-Programming-Solver von Google OR-Tools, der zur Berechnung einer realisierbaren und anschließend optimierten Feinplanung eingesetzt wird.