在z3中设置LIA逻辑我尝试使用python接口为LIA实例使用一种特定的策略。我试图使用: solver = Tactic('lia').solver() 不幸的是,我收到了“未知战术”的信息。当我改为使用qflia时 ...2024-09-28 已阅读: n次