标签： z3
Bddbddb支持格式＆＃34; Gt（＆＃34; a＆＃34;，＆＃34; d＆＃34;）？＆＃34;的查询。我将此查询添加到示例数据记录程序的末尾，在固定点Z3 doc中的＃34; Basic datalog＆＃34;部分中给出，并运行了bddbddb和Z3。 Z3似乎不支持这样的语法。是否有另一种语法可以在＆＃34; .datalog＆＃34;中查询输入格式为Z3？