A Configware/Software Approach to SAT Solving