Livres — constraint programming