Python package for RL with Reward Machines and Counting Reward Machines. - View it on GitHub