Ceagle在使用DFS引擎进行验证时，会采用约束求解器对待验证属性进行判定（详情参见：DFS引擎）。Ceagle默认采用Z3求解器，但同时也提供其它多种同样优秀的约束求解器，以满足不同验证问题的需求。
Ceagle支持以下求解器：