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 wrench-daemon
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.