solver
TK Solver: A rule based problem solver with back solving capabilities. 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. https://source.unsplash.com/featured/?solver#.png