2

Bddbddb 支持 "Gt("a", "d")?" 形式的查询。我将此查询添加到“基本数据记录”部分下的定点 Z3 文档中给出的示例数据记录程序的末尾，并运行了 bddbddb 和 Z3。Z3 似乎不支持这种语法。Z3的“.datalog”输入格式是否有另一种语法查询？

4

0 回答 0