A REST server for PyTeaser