Contents:
idp_solver
idp_server
This module contains the logic for inferences that are specific for the Interactive Consultant.
idp_server.Inferences.
get_relevant_subtences
sets ‘relevant in self.assignments sets rank of symbols in self.relevant_symbols removes irrelevant constraints in self.constraints