Artelys Kalis

Extensible constraint programming framework for fast solving of many kinds of combinatorial problems: schedules, timetables, resource allocation, network design, etc. Define constraints and heuristics. As C++ library or Java package. Port to Xpress-Mosel environment gives easy-to-use modeling.