The current folder contains examples to write the discrete transition
system obtained from a hybrid automata to the verification modulo
theories (VMT) format.

The dump writes a transition system for a specific property of the system.

README: this file.
write_vmt.cmd: writes the vmt problem for the property called
invarprop.

Example to write the vmt file:
../../hycomp -pre cpp -source write_vmt.cmd rod_2.hydi

