WRENCH REST API
WRENCH provides a REST API, so as to provide a language-agnostic way to develop WRENCH simulators (at the cost of extra overhead). To this end, the WRENCH distribution comes with a “WRENCH daemon” executable, which can be built and installed as:
make install # try "sudo make install" if you do not have write privileges
The wrench-daemon is to be started on your local machine (see
wrench-daemon --help for command-line options).
and comprises an HTTP server that answers REST API requests.
The full documentation of the REST API is provided on this page
We have developed a Python API to WRENCH, which sits on top of the above REST API.