This paper presents modeling tools based on Boolean satisfiability (SAT) to solve problems of test generation for combin......