edu.ucla.belief.rc2.kb.sat
Classes 
KB_SAT