Problem solving environment: a specialized software combining automated problem-solving methods with human-oriented tools for guiding the problem resolution.
satisfiability modulo theories for solvers of logical formulas with respect to combinations of background theories expressed in classical first-order logic with equality.