it can solve constraints over finite domains of integers and also linear rational constraints there they were adopted by the monks and trained in the martial arts kanakuze arashaka gusoma mariya mu gicuku