An applet that computes solutions to the 2-SAT problem (2-CNF clauses) using SCC