org.opencyc.constraintsolver
Classes 
ArgumentTypeConstrainer
ConstraintProblem
ForwardCheckingSearcher
Main
NodeConsistencyAchiever
ProblemParser
RuleEvaluator
UnitTest
ValueDomains
VariableDomainPopulator
VariablePopulationItem
VariablesByAscendingDomainSizeComparator
VariableSelectionAttributes
VariableSelectionComparator