一种适配约束求解器的方法、电子设备及存储介质

本发明涉及芯片验证领域，特别是涉及一种适配约束求解器的方法、电子设备及存储介质，其通过预设不同类型的约束求解器及其适配的运算类型，通过将待适配的约束表达式转换为树形结构，在遍历树形结构的过程中将得到的运算类型与预设的不同类型的约束求解器进行适配，将适配的最大子树替换为一个中间变量的节点，然后继续遍历适配，最终完成将约束表达式拆解为多个适配不同约束求解器的子约束，每个约束求解器得到的子约束均为当前约束求解器擅长的运算类型，提高了约束求解器的求解效率以及求解结果的准确率。