about

Try kGenProg on your browser.

https://tyr.ics.es.osaka-u.ac.jp/kdemo

how to setup demo server

# build & start docker container
$ ./build.sh

# stop docker container
$ sudo docker stop kdemo

# show logs
$ sudo docker logs kdemo

# get actual log file path
$ sudo docker inspect kdemo | grep Log