SAT Solver Project

Test GUI knowledge for this algorithm. Choose a lay out and implement the following:
1-set title to DLIS Method
2-This interface should have two boxes. One should be responsible for typing clauses and the other for showing the result.
3-Add a button labeled Run.
Test some design features (changing colors, font size, margin, padding, try to include as many features as possible from the lecture of design patterns!).