SAT solving

  1. REDIRECT SAT solver