Functorize tests for SAT solvers
Fix indentation