This is a docker image with TML. Usage: install docker clone (or download) this repository build image: docker build --tag tml . run TML programs: cat logic_program.tml | docker run -i tml