Hi, I noticed that smt-switch has not yet incorporated the STP solver. Since STP is one of the most advanced QF_BV SMT solvers and is integrated with the AIG synthesis tool, I believe it could greatly benefit hardware verification by including this solver in smt-switch. Are there any plans to integrate it in the future?
Hi, I noticed that smt-switch has not yet incorporated the STP solver. Since STP is one of the most advanced QF_BV SMT solvers and is integrated with the AIG synthesis tool, I believe it could greatly benefit hardware verification by including this solver in smt-switch. Are there any plans to integrate it in the future?