Livros — constraint programming