sci Build extended version of SAT solver with additional features.