Skip to content

Deployed Installations

Frédéric Jouault edited this page Dec 19, 2022 · 2 revisions

Several public servers offer different AnimUML versions for users who just want to try it, without deploying a server themselves:

Some of these AnimUML servers are deployed without the OBP2 model verification server. It can however be run locally by downloading OBPServer.zip, and following the instructions given in the README.en file it contains. Moreover, even for AnimUML servers deployed with OBP2, latency may make verification slow. Running the model verification server locally can significantly speed it up.

Clone this wiki locally