This program generates random instances of the 3SAT problem
for n variables which are then solved by exhaustive search.
Please click on the number of variables you want to look at.
Below will then occur some sample instances of the satisfiability problem
including all assignments to the variables which satisfy them.
At Internet Explorer, click "Back" after viewing the examples
to see these buttons again.