Astar Example
The A* Algorithmus is here with a water mug poblem
The Sources
The directory
README
The makefile
func.mcr
graph.flag
graph.pre
graph.vdm
graphops.c
graphops.h
mug.vdm
mugmain.c
mugops.c
mugops.h
Make TEST
Call the Problem by TEST