标签： z3
我是Z3的初学者。我刚刚尝试了Z3包中发布的一些示例，我再也没有其他经验了。我正在处理有关图中最短路径的问题。我能用Z3做到吗？谢谢大家。
答案 0 :(得分：0)
您可以在逻辑中表达此类查询，但也许您可以使用专用算法（Dijktra或变体）来解决此类问题。 有关使用Z3的介绍，请查看链接的教程 http://rise4fun.com/z3