https://bookem.ir/books/2199938-Programming-with-Constraints