Packages satisfiabilityApplet.algorithmsAndKBase satisfiabilityApplet.cnfParser satisfiabilityApplet.gui satisfiabilityApplet.tauTautology