1. A method of solving a logical decision problem in a multi-processing element custom computing apparatus, the method comprising: receiving a formula in a memory; generating, a plurality of replications of the formula, the number of replications in the plurality related to a number of processing elements in the custom computing apparatus; assigning one of the plurality of replications of the formula to a first processing element; assigning a second replication of the plurality to a second processing element; configuring the first processing element to solve the formula using a first solution tactic and the second processing element to solve the formula using a second solution tactic; and enabling a message passing interface between the first processor and the second processor, wherein the first and second processing elements are configured to incorporate information received from the message passing interface into its solution tactic.