SAT-solver

1. redirect SAT solver

{{R from alternative hyphenation}}