(based on original interactive sempre repository https://github.com/sidaw/sempre-interactive)

The other two parts of LTLTalk are

• frontend
• interactive synthesis

You must have the following already installed on your system.

• Java 8 (not 7)
• Ant 1.8.2
• Ruby 1.8.7 or 1.9
• wget

Other dependencies will be downloaded as you need them. SEMPRE has been tested on Ubuntu Linux 16.04, Debian 8, and MacOS X. Your mileage will vary depending on how similar your system is.

1. Clone this GitHub repository:

    git clone https://github.com/mpi-sws-rse/sempre-interactive-flipper.git (https)
    git clone [email protected]:mpi-sws-rse/sempre-interactive-flipper.git (ssh)
   

2. Download the minimal core dependencies (all dependencies will be placed in lib):

    ./pull-dependencies core
   

3. Compile the source code (this produces libsempre/sempre-core.jar):

    ant interactive
   

4. Run server (defaults to port 8410):

    ./interactive/run @mode=ltltalk
   

The command should execute, display some information about the grammar, and wait for input from the browser client (server can be stopped with Ctrl+D.

Here are some general tips for troubleshooting:

• If the browser client is acting weirdly
  • Pull the newest version for the repository (no need to restart yarn)
  • On the panel on the right side, press Clear
• If the code does not compile or immediately fails at runtime
  • Pull newest version of the code
  • Run ant clean and then ant interactive
• If the server throws an error during use with the browser client
  • Open an issue detailing the server-side error and the client-side input
• If all previously learned rules have to be forgotten, one can clean the file sempre-interactive/int-output/grammar.log.json