This work is devoted to the automatic generation of verification sets of test procedures; the proposed and developed algorithm for selecting trial solutions for solving the problems of satisfiability of Boolean formulas.
Keywords: test sets, automatic generation, solver, Boolean constraints