Package satisfiabilityApplet.algorithmsAndKBase

Interface Summary
SatisfiableAlgorithm by Catherine Block id# 6319 Date: Oct 18, 2004 Time: 4:03:20 PM CS 180H
 

Class Summary
BruteForceAlgorithm by Catherine Block id# 6319 Date: Sep 18, 2004 Time: 12:15:54 PM CS 180H Checks a Conjunctive Normal Form sentence for satisfiability and validity using brute force.
DPLLAlgorithm by Catherine Block id# 6319 Date: Oct 18, 2004 Time: 4:05:40 PM CS 180H
KBase by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 9:02:36 AM CS 180H satisfiabilityApplet.algorithmsAndKBase.KBase is a knowlege base containing CNF clauses.