c/SMT solvers

Information
lexicalization	eng: SMT solvers
subclass of	(noun) a thinker who focuses on the problem as stated and tries to synthesize information and knowledge to achieve a solution problem solver, solver, convergent thinker
has instance	e/Beaver bit-vector decision procedure
has instance	e/Uclid