We have started from...
......We decided to start testing our program (code)
by using 2-SAT problems -- because the results of executions of such
problems are well known. So we can apply 2-SAT problem solving (even
though the linear algirithm for such problems exists) to our coding
and see if it works corectly and has all needed functionality. I designed