satisfiabilityApplet.gui
Classes 
CNFViewPanel
EntryDialog
EntryPanel
Gui
PolynomialViewPanel
ViewPanel