reasoning with constraints csp ! < < figure csp show( variable(' '{ , , }csp csp("csp "{ , , }constraint([ , ],lt)constraint([ , ],lt)]the cspcsp has variables ab and ceach with domain { the constraints are bb and this is slightly more interesting than csp as it has more solutions this example is used in the unit testsand so if it is changedthe unit tests need to be changed cspexamples py -(continued variable(' '{ , , , }position=( , ) variable(' '{ , , , }position=( , ) variable(' '{ , , , }position=( , ) constraint([ , ]lt" "position=( , ) constraint([ ]ne_( )" ! "position=( , ) constraint([ , ]lt" "position=( , )csp csp("csp "{abc}[ ]the next cspcsp is example of the textbookthe domain consistent network (after applying the unary constraintsis shown in figure ?note that we use the same variables as the previous example and add two more cspexamples py -(continued variable(' '{ , , , }position=( , ) variable(' '{ , , , }position=( , )csp csp("csp "{ , , , , }constraint([ ]ne_( )" ! "position=( , ))constraint([ ]ne_( )" ! "position=( , ))version june