IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
I've cut & pasted the generic ordering model ord.ivy that was used as the test case for the qpdr branch, i.e. liveness fixes and enhancements.
ord.txt
Needed to change the extension on ord.ivy to ord.txt for the drag & drop to work