SynthRL [ˈsɪnθrɪl]

Program Synthesizer based on OGIS using learning-based agents trained with Reinforcement Learning

Docker

We provide a docker image to execute SynthRL.

Build

Download the project and build the image.

$ git clone https://github.com/kupl/synthrl.git
$ cd synthrl
$ docker build . -t synthrl

Run

The following command will execute short example.

$ docker run -t --rm synthrl synthrl test \ 
          --setting bench/bitvector/small.json \
          --synth SimpleSynthesizer --synth-func RandomFunction --synth-max-move 1000 \ 
          --veri SimpleVerifier --veri-func RandomFunction --testing RandomTesting --testing-args max_attempt=100 --veri-max-move 10000

To see more usage, type in the following command.

$ docker run --rm synthrl synthrl -h
# Or
$ docker run --rm synthrl

Install SynthRL Locally

Please see INSTALL.md.