TK Solver: A rule based problem solver with back solving capabilities.

Mathematical software for other types of mathematical software.

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.

image solver

define solver

wikipedia solver

weblio solver

kotobank solver

jisho solver