j2CNFSolver
Description
j2CNFSolver is a Java applet designed to find possible solutions to a sentence expressed in 2-CNF form.
You can either provide the sentence in 2-CNF form, or give as input the number of variables and clauses and let the applet generate a sentence using them.
Click here to run the applet.
Authors: Migdos Georgios - Papadopoulos Andreas - Chronopoulos Elias.