5. The apparatus of claim 1 , wherein the search for the satisfiability by the satisfiability solver comprises generating a sequence of mutations to a structure according to a prescribed rule.
5. The apparatus of claim 1 , wherein the search for the satisfiability by the satisfiability solver comprises generating a sequence of mutations to a structure according to a prescribed rule. 6. The apparatus of claim 5 , wherein the structure comprises an assignment of values to variables such that the values are not exclusively Boolean, and the generation of a mutation of the sequence of mutations comprises assigning a value to a variable in the structure or modifying a value in the structure.