satisfiabilityApplet.algorithmsAndKBase
Interfaces 
SatisfiableAlgorithm
Classes 
BruteForceAlgorithm
DPLLAlgorithm
KBase