文件名称：可口可乐
文件大小：912KB
文件格式：ZIP
更新时间：2024-03-02 17:53:05
C
分配给波尔多大学M1信息学的Complexité和Calculabilité课程。 作者：MEHDAOUI Abdelamine（ ） 要生成：“ make”仅要生成程序：“ make equalPath”仅要生成doc：“ make doc” 启动程序：'./equalPath' 给出了一个有效的可执行文件。 它是在CREMI上编译的，因此仅在此处使用是更明智的。 要使用它：'./working-equalPath'。 用法由程序给出。 给出了两个示例文件，一个位于示例文件夹中，用于操纵图形结构，一个用于操纵Z3。 您可以在闲暇时和他们一起玩。 要构建Z3示例：'make Z3Example'要构建图形示例：'make graphParser' 说明：您必须在Solving.c中实现该文件，并在main.c中与主程序一起使用这些功能来解决“距离公社”问题。 您应该添加的功能比