Dodan linearni SAT solver.