A switchable Pure Perl SAT solver with backtracking - View it on GitHub