Leram - Integration of Constraint Programming, Artificial Intelligence, and Operations Research