An autotuner for SAT solving that uses OpenTuner. - View it on GitHub