Problem specification in constraint logic programming and integer programming | lit.salon