查询Z3的.datalog输入格式
Bddbddb支持“Gt（“a”、“d”）？”形式的查询。我将此查询添加到fixedpoints Z3文档中“基本数据日志”部分下给出的示例数据日志程序的末尾，并运行了bddbddb和Z3。Z3似乎不支持这种语法。Z3的“.datalog”输入格式中是否还有其他语法可查询查询Z3的.datalog输入格式,z3,Z3,Bddbddb支持“Gt（“a”、“d”）？”形式的查询。我将此查询添加到fixedpoints Z3文档中“基本数据日志”部分下给出的示例数据日志程序的末尾，并运行了bddbddb和Z3。Z3似乎不支持这种语法。Z3的“.datalog”输入格式中是否还有其他语法可查询