Code for RSS-2019 paper: Planning with State Abstractions for Non-Markovian Task Specifications - View it on GitHub