Koalog Constraint Solver ist ein leistungsfähiger Gleichungslöser mit Randbedingungen, der in Java geschrieben ist. Er stellt Top-Technologie zum Lösen von Erfüllungs- und Optimierungsproblemen bereit, darunter Planen, Aufstellen von Zeittabellen, Zuteilung von Ressourcen und Konfiguration (Koalog Configurator verwendet intern Koalog Constraint Solver).