Language.SMTLib2.Solver

withZ3

withMathSat

withCVC4

withSMTInterpol