idtmp-py, is the python version of the implementation of idtmp, the related paper here Usage Requirements z3, SMT solver pip install z3-solver pybullet, robot simulator, python interface of bullet,pip install pybullet TODO a lot...